Luiza Gheorghe Faouzi Bouchhima Gabriela Nicolescu Hanifa Boucheneb Semantics for Model-Based Validation of Continuous/Discrete Systems. 498-503 2008 DATE http://dx.doi.org/10.1109/DATE.2008.4484730 conf/date/2008 db/conf/date/date2008.html#GheorgheBNB08