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;(4):66-91. doi:10.7250/csimq.2015-4.05