Schuster, G. és Ady, L. (2018) „Biztonságkritikus szoftver fejlesztés”, Repüléstudományi Közlemények, 30(1), o. 151–160. Elérhető: https://folyoirat.ludovika.hu/index.php/reptudkoz/article/view/4274 (Elérés: 27 április 2024).