Frage zu Artikel "Verification and Control of Hybrid Systems"