1. Nuno Amálio , Richard Payne , Ana Cavalcanti , and Etienne Brosse . 2015. Foundations of the SysML profile for CPS modelling. Deliverable D2. 1a, version 1 ( 2015 ). Nuno Amálio, Richard Payne, Ana Cavalcanti, and Etienne Brosse. 2015. Foundations of the SysML profile for CPS modelling. Deliverable D2. 1a, version 1 (2015).
2. Charles André . 2007. Le temps dans le profil UML MARTE. Université Nice Sophia Antipolis ( 2007 ). Charles André. 2007. Le temps dans le profil UML MARTE. Université Nice Sophia Antipolis (2007).
3. Reo: a channel-based coordination model for component composition
4. Johan Bengtsson , Kim Larsen , Fredrik Larsson , Paul Pettersson , and Wang Yi. 1995. UPPAAL-a tool suite for automatic verification of real-time systems . In International hybrid systems workshop . Springer , 232--243. Johan Bengtsson, Kim Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. 1995. UPPAAL-a tool suite for automatic verification of real-time systems. In International hybrid systems workshop. Springer, 232--243.
5. Jordi Cabot and Martin Gogolla . 2012. Object constraint language (OCL): a definitive guide . In International school on formal methods for the design of computer, communication and software systems . Springer , 58--90. Jordi Cabot and Martin Gogolla. 2012. Object constraint language (OCL): a definitive guide. In International school on formal methods for the design of computer, communication and software systems. Springer, 58--90.