CheckMate Model
Specifying System Dynamics for Switched Mode Computer Controlled Systems
Verification