Erwan Breton Jean Bézivin Towards an understanding of model executability. 70-80 2001 FOIS http://doi.acm.org/10.1145/505168.505176 db/conf/fois/fois2001.html#BretonB01