Szpyrka, Marcin. “FORMAL VERIFICATION OF REAL-TIME SYSTEM REQUIREMENTS”. Computer Science 2 (January 2, 2020). Accessed May 4, 2024. https://journals.agh.edu.pl/csci/article/view/3582.