Continuous modeling of real-time and hybrid systems: From concepts to tools
scientific article; zbMATH DE number 1862295