Alvis Approach to Modeling and Verification of Real-Time Systems Running on Single-Processor Environment | IEEE Journals & Magazine | IEEE Xplore