Szpyrka M. FORMAL VERIFICATION OF REAL-TIME SYSTEM REQUIREMENTS. csci [Internet]. 2020Jan.2 [cited 2024May4];2. Available from: https://journals.agh.edu.pl/csci/article/view/3582