Verification and Control of Hybrid Systems Under Safety Requirements