“FORMAL METHODS IN DEVELOPMENT OF SAFETY CRITICAL SYSTEM SOFTWARE”. 2019. Perner’s Contacts 14 (1): 21-27. https://pernerscontacts.upce.cz/index.php/perner/article/view/385.