FORMAL METHODS IN DEVELOPMENT OF SAFETY CRITICAL SYSTEM SOFTWARE. PC. 2019;14(1):21-27. Accessed March 5, 2026. https://pernerscontacts.upce.cz/index.php/perner/article/view/385