Szpyrka, M. FORMAL VERIFICATION OF REAL-TIME SYSTEM REQUIREMENTS. csci 2020, 2. https://doi.org/10.7494/csci.2000.2.0.3582.