Diagnosing timed automata using timed markings. - Bouyer, Patricia; Henry, Léo; Jaziri, Samy; Jéron, Thierry; Markey, Nicolas (International Journal on Software Tools for Technology Transfer, 2021)