Verification and Control of Hybrid Systems door Paulo Tabuada