References

References

 [1]

J.-R. Abrial. steam-boiler control specification problem. In Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler, volume 1165 of LNCS, 1996.

 [2]

J.-R. Abrial, E. Börger, and H. Langmaack, editors. Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler, volume 1165 of LNCS, 1996.

 [3]

N. Halbwachs. Synchronous programming of reactive systems. Kluwer Academic Pub., 1993.

 [4]

T. Henzinger and H. Wong-Toï. Using HyTech to Synthesize Control Parameters for a Steam Boiler Control. In Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler, number 1165 in LNCS, 1996.

References