UML, SysML and MARTE in Use, a High Level Methodology for Real-time and Embedded Systems