Szpyrka, Marcin. 2020. “FORMAL VERIFICATION OF REAL-TIME SYSTEM REQUIREMENTS”. Computer Science 2 (January). https://doi.org/10.7494/csci.2000.2.0.3582.