Kaiser, B.; Weber, R.; Oertel, M.; Böde, E.; Nejad, B.; Zander, J. Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety. J. Complex Syst. Inform. Model. Q. 2015, No. 4, 66-91. https://doi.org/10.7250/csimq.2015-4.05.