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