Schuster, G., és L. Ady. „Biztonságkritikus Szoftver fejlesztés”. Repüléstudományi Közlemények, köt. 30, sz. 1, 2018. április, o. 151–160, https://folyoirat.ludovika.hu/index.php/reptudkoz/article/view/4274.