Arnold, A. ., M. . Beleani, 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. 11, Dec. 2017, p. e2, doi:10.4108/eai.21-12-2017.153500.