The Variable Cam Timing System Example

CheckMate Model

Specifying System Dynamics for Switched Mode Computer Controlled Systems

Verification