1. Al-Jaroodi, J., Mohamed, N., Abukhousa, E.: Health 4.0: on the way to realizing the healthcare of the future. Ieee Access 8, 211189–211210 (2020)
2. Alur, R., De Alfaro, L., Grosu, R., Henzinger, T.A., Kang, M., Kirsch, C.M., Majumdar, R., Mang, F., Wang, B.Y.: jmocha: A model checking tool that exploits design structure. In: Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001. pp. 835–836. IEEE (2001)
3. Amálio, N., Payne, R., Cavalcanti, A., Brosse, E.: Foundations of the sysml profile for cps modelling. Deliverable D2. 1a, version 1 (2015)
4. André, C.: Syntax and semantics of the clock constraint specification language (CCSL). Ph.D. thesis, INRIA (2009)
5. Arbab, F.: Reo: a channel-based coordination model for component composition. Mathematical Structures in Computer Science 14(3), 329–366 (2004). https://doi.org/10.1017/S0960129504004153