Angelo Gargantini Elvinia Riccobene Patrizia Scandurra Alessandro Carioni Scenario-based Validation of Embedded Systems. 191-196 2008 FDL http://dx.doi.org/10.1109/FDL.2008.4641444 conf/fdl/2008 db/conf/fdl/fdl2008.html#GargantiniRSC08