Arnold, Alexandre, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, and Christoph Etzien. 2017. “An Application of SMC to Continuous Validation of Heterogeneous Systems”. EAI Endorsed Transactions on Industrial Networks and Intelligent Systems 4 (10):e3. https://doi.org/10.4108/eai.1-2-2017.152154.