Jacques Combaz Jean-Claude Fernandez Thierry Lepley Joseph Sifakis 1038-1043 2005 conf/date/2005 DATE http://doi.ieeecomputersociety.org/10.1109/DATE.2005.155 db/conf/date/date2005.html#CombazFLS05