Jan Springintveld
Frits Vaandrager
Pedro R D’Argenio
Theoretical Computer Science
A New Timed Discretization Method for Automatic Test Generation for Timed Systems