Attaining a more Flexible and Manageable Discretization for Complex Timed Systems
IC Technical Reports 2012
Arnaldo V. Moura