Williams, B. W. (2006). Using Hybrid Automata to Model Four Stroke Engines with Variable Valve Timing in Simulink/Stateflow. In ACMSE 2006. Melbourne, FL. (Original work published 2025)