Ali Taleghani Joanne M. Atlee Semantic Variations Among UML StateMachines. 245-259 2006 conf/models/2006 MoDELS http://dx.doi.org/10.1007/11880240_18 db/conf/models/models2006.html#TaleghaniA06