FORMAL METHODS IN DEVELOPMENT OF SAFETY CRITICAL SYSTEM SOFTWARE. PC [Internet]. 2019 Apr. 26 [cited 2026 Mar. 5];14(1):21-7. Available from: https://pernerscontacts.upce.cz/index.php/perner/article/view/385