Kaiser, B. et al. 2015. Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety. Complex Systems Informatics and Modeling Quarterly. 4 (Oct. 2015), 66–91. DOI:https://doi.org/10.7250/csimq.2015-4.05.