Kaiser, Bernhard, Raphael Weber, Markus Oertel, Eckard Böde, Behrang Nejad, and Justyna Zander. 2015. “Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety”. Complex Systems Informatics and Modeling Quarterly, no. 4 (October): 66-91. https://doi.org/10.7250/csimq.2015-4.05.