Mohaqeqi, M.; Mousavi, M. R.; Taha, W. Conformance Testing of Cyber-Physical Systems: A Comparative Study. eceasst 2014, 70.