Henzinger, Thomas A, and Howard Wong Toi. “Using HyTech to Synthesize Control Parameters for a Steam Boiler.”https://doi.org/10.1007/BFb0027241__In Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, 1165:265–82. Springer, 1996.https://doi.org/10.1007/BFb0027241 .
LibreCat: https://research-explorer.ista.ac.at/record/4427
DOI: 10.1007/BFb0027241