Cruise Control in Hybrid Event-B.

Richard Banach, Michael J. Butler

Browse the full ICTAC paper archive.