1. Meta object facility (mof). Technical report, Object Management Group (August 2011)
2. Uml profile for marte : Modeling and analysis of real-time embedded systems. Technical report, Object Management Group (June 2011)
3. Unified modeling language (uml). Technical report, Object Management Group (August 2011)
4. Architecture analysis & design language (aadl). Technical report, SAE International (September 2012)
5. Bazhar, Y., Ameur, Y.A., Jean, S.: Bemore: a repository for handling models behaviors. In: SEKE (June 2013)