@conference {salah01:compiling,
	title = {Compiling Real-Time Scenarios into a Timed Automaton},
	booktitle = {FORTE 2001 - 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems},
	year = {2001},
	month = {aug},
	pages = {135-150},
	address = {Cheju Island, Korea},
	author = {Aziz Salah and Rachida Dssouli and Guy Lapalme}
}
