M. Bubeník, „FORMÁLNÍ METODY VE VÝVOJI SOFTWARU BEZPEČNOSTNĚ KRITICKÉHO SYSTÉMU", PC, roč. 14, č. 1, s. 21–27, dub. 2019.