Bubeník, Michal. 2019. „FORMÁLNÍ METODY VE VÝVOJI SOFTWARU BEZPEČNOSTNĚ KRITICKÉHO SYSTÉMU". Perner’s Contacts 14 (1):21-27. https://pernerscontacts.upce.cz/index.php/perner/article/view/385.