DURODIE, Y.; BAHADUR SINGH, V. A Design-by-Contract Approach to Distributed Embedded Software. Center for Model-Based Cyber-Physical Product Development, [S. l.], v. 21, n. 13, p. 27, 2020. Disponível em: https://wcc.ep.liu.se/index.php/MODPROD/article/view/125. Acesso em: 18 apr. 2024.