G. Schuster és L. Ady, „Biztonságkritikus szoftver fejlesztés”, RepTudKoz, köt. 30, sz. 1, o. 151–160, ápr. 2018.