Arnold, A. .; Baleani, M. .; Ferrari, A. .; Marazza, M. .; Senni, V. .; Legay, A. .; Quilbeuf, J. .; Etzien, C. . An Application of SMC to Continuous Validation of Heterogeneous Systems. EAI Endorsed Trans Ind Net Intel Syst 2017, 4, e3.