Erkki Mäkinen Tarja Systä MAS - An Interactive Synthesizer to Support Behavioral Modeling in UML. 15-24 2001 conf/icse/2001 ICSE db/conf/icse/icse2001.html#MakinenS01