Claudia Pereira Liliana Martinez Liliana Favre State Machine Diagram Refactoring in MDA-based Development. 160-166 2009 Software Engineering Research and Practice conf/serp/2009 db/conf/serp/serp2009.html#PereiraMF09