Raisch, J. (1998). A hierarchy of discrete abstractions for a hybrid plant (extended version). Journal Europeen des Systemes Automatises = European Journal of Automation, 32(9-10), 1073-1095.