Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
scientific article; zbMATH DE number 7629138
scientific article