S.: Conformance testing for real-time systems (2009)

by M Krichen, Tripakis
Venue:Formal Methods in System Design