Verification and Control of Hybrid Systems | lit.salon