A Case Study on Formal Design of Hybrid Control Systems. - Hong Ki Thae; Dang Van Hung (COMPSAC, 2001)