1. Rashid, M., Anwar, M.W., Khan, A.M.: Towards the Tools Selection in Model Based System Engineering for Embedded Systems - A Systematic Literature Review. JSS 106, 150–163 (2015)
2. Booch, G., Rumbaugh, J., Jacobson, I.: UML, User Guide. Addison-Wesley (1999)
3. OMG, SysML (2008).
http://www.omg.org/spec/SysML/1.3/
(retrieved March 6, 2012)
4. OMG, UML Profile for MARTE, v1.0, November 2009, formal/2009-11-02
5. Knorreck, D., Apvrille, L.: TEPE: A SysML Language for Time-Constrained Property Modeling and Formal Verification. ACM SIGSOFT 36(1), 1–8 (2011)