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