Synthesis and real-time simulation of reactive controller for hot-water supply in a safety-critical hospital environment.