From simulation models to hybrid automata using urgency and relaxation
From Simulation Models to Hybrid Automata Using Urgency and Relaxation
scientific article; zbMATH DE number 6721678