Text this: Alvis Approach to Modeling and Verification of Real-Time Systems Running on Single-Processor Environment