Return to Article Details Towards a Transformation Approach of Timed UML MARTE Specifications for Observer-Based Formal Verification Download Download PDF