Verification and Control of Hybrid Systems A Symbolic Approach - Tabuada, Paulo (Springer US, 2009)