Szpyrka, M. FORMAL VERIFICATION OF REAL-TIME SYSTEM REQUIREMENTS. csci 2020, 2.