ARNOLD, Alexandre; BALEANI, Massimo; FERRARI, Alberto; MARAZZA, Marco; SENNI, Valerio; LEGAY, Axel; QUILBEUF, Jean; ETZIEN, Christoph. An Application of SMC to continuous validation of heterogeneous systems. EAI Endorsed Transactions on Industrial Networks and Intelligent Systems, [S. l.], v. 4, n. 10, p. e3, 2017. DOI: 10.4108/eai.1-2-2017.152154. Disponível em: https://publications.eai.eu/index.php/inis/article/view/422. Acesso em: 2 jan. 2026.