1. Ahmad, M., Dragomir, I., Bruel, J., Ober, I., Belloir, N.: Early analysis of ambient systems SysML properties using Omega2-IFx (regular paper). In: International Conference on Simulation and Modeling Methodologies, Technologies and Applications, pp. 147–154. SciTePress, Septembre 2013. http://www.scitepress.org/
2. Baouya, A., Bennouar, D., Mohamed, O.A., Ouchani, S.: A probabilistic and timed verification approach of SysML state machine diagram. In: 2015 12th International Symposium on Programming and Systems (ISPS), pp. 1–9, April 2015. https://doi.org/10.1109/ISPS.2015.7245001
3. Berrachedi, A., Ioualalen, M., Hammad, A.: Towards the formal modeling methodology of WSN through the transformation of SysML into DSPNs. In: Proceedings of the 11th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - SIMULTECH, pp. 83–91. INSTICC, SciTePress (2021). https://doi.org/10.5220/0010549200830091
4. Berrachedi, A., Rahim, M., Ioualalen, M., Hammad, A.: Validation of a SysML based design for wireless sensor networks. In: AIP Conference Proceedings, vol. 1863, no. 1, p. 330002 (2017)
5. Chandrakasan, A., Balakrishnan, H., Heinzelman, W.R.: Energy-efficient communication protocol for wireless microsensor networks. In: Proceedings of the 33rd Hawaii International Conference on System Sciences, vol. 2, pp. 1–10 (2000)