Kaiser, B., Weber, R., Oertel, M., Böde, E., Nejad, B., & Zander, J. (2015). Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety. Complex Systems Informatics and Modeling Quarterly, 4, 66-91. https://doi.org/10.7250/csimq.2015-4.05