Conformance Testing Relations for Timed Systems
2006 ◽
pp. 103-117
◽