Angelo Gargantini Elvinia Riccobene Patrizia Scandurra A model-driven validation & verification environment for embedded systems. 241-244 2008 SIES http://dx.doi.org/10.1109/SIES.2008.4577708 conf/sies/2008 db/conf/sies/sies2008.html#GargantiniRS08