1.
Szpyrka M. FORMAL VERIFICATION OF REAL-TIME SYSTEM REQUIREMENTS.
csci
. 2020;2. doi:
10.7494/csci.2000.2.0.3582