Hacène Fouchal: Conformance Testing Techniques for Timed Systems. SOFSEM 2002: 1-19