"Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control 1995" - читать интересную книгу автора (Jean-Raymond Abrial, Egon Börger, Hans Langmaack)