@article {Salah03Implicit,
	title = {Implicit integration of scenarios into a reduced timed automaton},
	journal = {Journal of Information and Software Technology},
	volume = {45},
	number = {11},
	year = {2003},
	pages = {715-725},
	pdf = {http://rali.iro.umontreal.ca/rali/sites/default/files/publis/jist2003.pdf},
	author = {Aziz Salah and Rachida Dssouli and Guy Lapalme}
}
