AIB 2007-07: MeDUSA - MethoD for UML2-based Design of Embedded Software Applications