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