Aziz Salah, Rachida Dssouli, Guy Lapalme: Implicit integration of scenarios into a reduced timed automaton. Inf. Softw. Technol. 45(11): 715-725 (2003)