A framework for executable UML models. - Joe Mooney; Hessam S. Sarjoughian (SpringSim, 2009)