Zaslat záznam e-mailem: Alvis Approach to Modeling and Verification of Real-Time Systems Running on Single-Processor Environment