SZPYRKA, Marcin. FORMAL VERIFICATION OF REAL-TIME SYSTEM REQUIREMENTS. Computer Science, [S. l.], v. 2, 2020. DOI: 10.7494/csci.2000.2.0.3582. Disponível em: https://journals.agh.edu.pl/csci/article/view/3582. Acesso em: 9 apr. 2025.