KAISER, Bernhard; WEBER, Raphael; OERTEL, Markus; BÖDE, Eckard; NEJAD, Behrang; ZANDER, Justyna. Contract-Based Design of Embedded Systems Integrating Nominal Behavior and Safety. Complex Systems Informatics and Modeling Quarterly, Riga, Latvia, n. 4, p. 66–91, 2015. DOI: 10.7250/csimq.2015-4.05. Disponível em: https://csimq-journals.rtu.lv/csimq/article/view/csimq.2015-4.05.. Acesso em: 7 mar. 2026.