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