A. . Arnold, “An Application of SMC to continuous validation of heterogeneous systems”, EAI Endorsed Trans Ind Net Intel Syst, vol. 4, no. 10, p. e3, Feb. 2017.