Verification and Control of Hybrid Systems by Paulo Tabuada