Hacène Fouchal Conformance Testing Techniques for Timed Systems. 1-19 2002 conf/sofsem/2002 SOFSEM http://link.springer.de/link/service/series/0558/bibs/2540/25400001.htm db/conf/sofsem/sofsem2002.html#Fouchal02