A case study of hybrid controller synthesis of a heating system