Kaiser, Bernhard, Raphael Weber, Markus Oertel, Eckard Böde, Behrang Nejad, and Justyna Zander. “Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety”. Complex Systems Informatics and Modeling Quarterly, no. 4 (October 31, 2015): 66–91. Accessed March 7, 2026. https://csimq-journals.rtu.lv/csimq/article/view/csimq.2015-4.05.