Formal methods for industrial applications : specifying and programming the steam boiler control / - Abrial, Jean-Raymond.; Börger, E.; Langmaack, Hans. (Springer, 1996)