Bubeník, M. 2019. FORMÁLNÍ METODY VE VÝVOJI SOFTWARU BEZPEČNOSTNĚ KRITICKÉHO SYSTÉMU. Perner’s Contacts. 14, 1 (dub. 2019), 21–27.