Alvis Approach to Modeling and Verification of Real-Time Systems Running on Single-Processor Environment. - Marcin Szpyrka; Jaroslaw Baniewicz; Andrei Karatkevich (IEEE Access, 2022)