Dürr, R. (2009). Approaches to Abstraction Based Supervisory Control of Uncertain Hybrid Systems. Diploma Thesis, Otto-von-Guericke University, Magdeburg.