Text this: Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety