Media type: E-Article Title: Next Generation Information Technologies and Systems: Refactoring of Statecharts Contributor: Abadi, Moria; Feldman, Yishai A. imprint: Springer Berlin Heidelberg, 2009 Published in: Next Generation Information Technologies and Systems Language: Not determined DOI: 10.1007/978-3-642-04941-5_7 ISSN: 0302-9743; 1611-3349 Origination: Footnote: