Special Topics in Circuits and Embedded Systems: Verification and Control of Hybrid Systems