Cruise Control in Hybrid Event-B (2013)

by R Banach, M Butler
Venue:in Proc. ICTAC-13