FORMAL METHODS IN DEVELOPMENT OF SAFETY CRITICAL SYSTEM SOFTWARE. PC 2019, 14 (1), 21-27.