Kaiser, B. (2015) “Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety”, Complex Systems Informatics and Modeling Quarterly, (4), pp. 66–91. doi:10.7250/csimq.2015-4.05.