M. Mohaqeqi, M. R. Mousavi, and W. Taha, “Conformance Testing of Cyber-Physical Systems: A Comparative Study”, eceasst, vol. 70, Nov. 2014.