Synthesis and real-time simulation of reactive controller for hot-water supply in a safety-critical hospital environment | IEEE Conference Publication | IEEE Xplore