Raisch, J. (1998). A hierarchy of discrete abstractions for a hybrid plant. In J. Zaytoon (Ed.), Automation of mixed processes - hybrid dynamical systems (pp. 55-62).