Hugo L. S. Araujo, Gustavo Carvalho, Morteza Mohaqeqi, Mohammad Reza Mousavi, Augusto Sampaio. Sound conformance testing for cyber-physical systems: Theory and implementation. Science of Computer Programming, 162:35-54, 2018. [doi]
Abstract is missing.