Kaiser, Bernhard, et al. “Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety”. Complex Systems Informatics and Modeling Quarterly, no. 4, Oct. 2015, pp. 66-91, https://doi.org/10.7250/csimq.2015-4.05.