Szpyrka, M. “FORMAL VERIFICATION OF REAL-TIME SYSTEM REQUIREMENTS”. Computer Science, vol. 2, Jan. 2020, doi:10.7494/csci.2000.2.0.3582.