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