Szpyrka, M. 2020. FORMAL VERIFICATION OF REAL-TIME SYSTEM REQUIREMENTS. Computer Science. 2, (Jan. 2020). DOI:https://doi.org/10.7494/csci.2000.2.0.3582.