Ismail Berrada, Richard Castanet, Patrick Félix, Aziz Salah: Test Case Minimization for Real-Time Systems Using Timed Bound Traces. TestCom 2006: 289-305