A case study of hybrid controller synthesis of a heating system | IEEE Conference Publication | IEEE Xplore