Kaiser, Weber, Oertel, Böde, Nejad, Zander, 2015. Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety.. https://doi.org/10.7250/csimq.2015-4.05