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