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