%0 Generic %A Tabuada, Paulo. %@ 9781441902245 %T Verification and Control of Hybrid Systems A Symbolic Approach / %U https://ezaccess.libraries.psu.edu/login?url=http://dx.doi.org/10.1007/978-1-4419-0224-5