@inproceedings{622, author = {Brian Williams}, title = {Using Hybrid Automata to Model Four Stroke Engines with Variable Valve Timing in Simulink/Stateflow}, year = {2006}, journal = {ACMSE 2006}, month = {March}, address = {Melbourne, FL}, note = {CD-Rom p51.pdf}, language = {eng}, }