Franck Barbier Eric Cariou Component Design based on Model Executability. 68-75 2008 SEAA http://dx.doi.org/10.1109/SEAA.2008.16 conf/seaa/2008 db/conf/seaa/seaa2008.html#BarbierC08