M. Szpyrka, “FORMAL VERIFICATION OF REAL-TIME SYSTEM REQUIREMENTS”, csci, vol. 2, Jan. 2020.