César Andrés, Mercedes G. Merayo, Manuel Núñez. Formal Correctness of a Passive Testing Approach for Timed Systems. In Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops Proceedings. pages 67-76, IEEE Computer Society, 2009. [doi]
Abstract is missing.