Modifying HYTECH to automatically synthesize hybrid controllers. - Ranjana G. Deshpande; David J. Musliner; Jorge E. Tierno; Robert P. Goldman (CDC, 2001)