Arnold, Alexandre, Massimo Beleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, and Christoph Etzien. “An Application of SMC to Continuous Validation of Heterogeneous Systems”. EAI Endorsed Transactions on Industrial Networks and Intelligent Systems 4, no. 11 (December 21, 2017): e2. Accessed May 18, 2024. https://publications.eai.eu/index.php/inis/article/view/429.