Deakstadieđáhus: Formal methods for industrial applications : specifying and programming the steam boiler control / Jean-Raymond Abrial, Egon Börger, Hans Langmaack, eds.