Formal Correctness of a Passive Testing Approach for Timed Systems | Publicación