Testing timed automata
Theoretical Computer Science
Frits Vaandrager
Jan Springintveld
A New Timed Discretization Method for Automatic Test Generation for Timed Systems