A case study of hybrid controller synthesis of a heating system. - A. Balluchif; Luca Benvenuti; T. Villas; Howard Wong-Toi; Alberto L. Sangiovanni-Vincentelli (ECC, 1999)