Hybrid System Verification Is Not a Sinecure: The Electronic Throttle Control Case Study.

Ansgar Fehnker, Bruce H. Krogh

Browse the full ATVA paper archive.