Compiling Real-Time Scenarios into a Timed Automaton.

Aziz Salah Rachida Dssouli Guy Lapalme Compiling Real-Time Scenarios into a Timed Automaton. 135-150 2001 conf/forte/2001 FORTE db/conf/forte/forte2001.html#SalahDL01