Arnold, A. ., M. . Baleani, A. . Ferrari, M. . Marazza, V. . Senni, A. . Legay, J. . Quilbeuf, and C. . Etzien. “An Application of SMC to Continuous Validation of Heterogeneous Systems”. EAI Endorsed Transactions on Industrial Networks and Intelligent Systems, vol. 4, no. 10, Feb. 2017, p. e3, doi:10.4108/eai.1-2-2017.152154.