Describir: Modeling and analysis of real-time and embedded systems with UML and MARTE :