Marcello Mura Luis Gabriel Murillo Mauro Prevostini Model-based Design Space Exploration for RTES with SysML and MARTE. 203-208 2008 FDL http://dx.doi.org/10.1109/FDL.2008.4641446 conf/fdl/2008 db/conf/fdl/fdl2008.html#MuraMP08