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. [Internet]. 2015 Oct. 31 [cited 2026 Mar. 7];(4):66-91. Available from: https://csimq-journals.rtu.lv/csimq/article/view/csimq.2015-4.05