1. Object Managment Group, Uml profile for marte, Technical report (2007). http://www.omgmarte.org
2. Belarbi, M.: Formal modelling of real-time embedded automotive architecture. Soc. Des. Process. Sci. J. JIDP 13(2), 1–18 (2009)
3. Checkburn, A.: Using both incremental and iterative development. Humans and Technology CROSSTALK J. Def. Softw. Eng. 21(5), 27–30 (2008)
4. Ferrand, P., Maman, M., Goursaud, C., Gorce, J.-M., Ouvry, L.: Performance evaluation of direct and cooperative transmissions in body area networks. Ann. Telecommun. 66(213), 228 (2011)
5. Hariche, A., Belarbi, M., Chouarfia, A.: Embedded systems design using event-b theories. Int. J. Comput. Digit. Syst. 5(2) (2016). https://doi.org/10.12785/ijcds/050207