@Article{ pretschner.ea:computing:2006, author = {Alexander Pretschner and Wolfgang Prenninger}, journal = {J. Software Systems Modeling}, language = {USenglish}, note = {to appear.}, title = {Computing Refactorings of State Machines}, year = 2006, user = {pretscha} }