Moez Krichen Stavros Tripakis Conformance testing for real-time systems. 238-304 2009 34 Formal Methods in System Design 3 http://dx.doi.org/10.1007/s10703-009-0065-1 db/journals/fmsd/fmsd34.html#KrichenT09