Forrmal Methods for industrial applications :Specifying and programming the Steam Boiler Control : lecture notes in computer science :( With CD) - Abrial, Jean-Raymond (et-al) (Ed.) (Springer, 1996)
Keywords: formal methods