Arnold, A. .; Beleani, 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 (11), e2. https://doi.org/10.4108/eai.21-12-2017.153500.