Modelling Hybrid Systems in Event-B and Hybrid Event-B: A Comparison of Water Tanks.

Richard Banach, Michael J. Butler

Browse the full ICFEM paper archive.