Computing refactorings of state machines - Pretschner, Alexander et al - swissbib.ch:(NATIONALLICENCE)springer-10.1007/s10270-006-0037-5