MAS - an interactive synthesizer to support behavioral modeling in UML | IEEE Conference Publication | IEEE Xplore