Formal passive testing of timed systems: theory and tools | Publicación