1. Battle, N., Thule, C., Gomes, C., Macedo, H.D., Larsen, P.G.: Towards static check of FMUs in VDM-SL. In: Gamble, C., Couto, L.D. (eds.) The 17th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering. Newcastle University Technical Report Series CS-TR-1530, Porto, Portugal, pp. 17–31, October 2019
2. Brosse, E., Quadri, I.: SysML and FMI in INTO-CPS: Integrated Tool chain for model-based design of Cyber Physical Systems, p. 37, December 2017
3. Lecture Notes in Computer Science;LD Couto,2018
4. Fitzgerald, J., Gamble, C., Larsen, P.G., Pierce, K., Woodcock, J.: Cyber-physical systems design: formal foundations, methods and integrated tool chains. In: FormaliSE: FME Workshop on Formal Methods in Software Engineering, ICSE 2015, Florence, Italy, May 2015
5. Fitzgerald, J., Gamble, C., Payne, R., Larsen, P.G., Basagiannis, S., Mady, A.E.D.: Collaborative model-based systems engineering for cyber-physical systems – a case study in building automation. In: Proceedings of INCOSE International Symposium on Systems Engineering, Edinburgh, Scotland, July 2016