Testing timed automata
A theory of normed simulations
Three logics for branching bisimulation
Forward and Backward Simulations
Information and Computation
Journal of the ACM
Theoretical Computer Science
ACM Transactions on Computational Logic
David Griffioen
Nancy Lynch
Pedro R D’Argenio
Jan Springintveld
Rocco De Nicola
A New Timed Discretization Method for Automatic Test Generation for Timed Systems