1. Eclipse arrowhead framework (2022). https://projects.eclipse.org/projects/iot.arrowhead
2. Bhatt, D., Madl, G., Oglesby, D., Schloegel, K.: Towards scalable verification of commercial avionics software. In: Proceedings of Infotech@Aerospace’10. AIAA (2010)
3. Lecture Notes in Computer Science;C Calcagno,2011
4. El-khoury, J.: An analysis of the OASIS OSLC integration standard, for a cross-disciplinary integrated development environment: analysis of market penetration, performance and prospects. Technical Report, KTH, Mechatronics (2020)
5. EATA (2022). http://gitlab.fbk.eu/ESProjects/EATA