Time-Optimal Test Cases for Real-Time Systems. - Hessel, Anders; Larsen, Kim Guldstrand; Nielsen, Brian; Pettersson, Paul; Skou, Arne (2003)