Recent developments in theory and tool support for hybrid systems verification with HyPro. - Stefan Schupp; Erika Ábrahám; Tristan Ebert (Inf. Comput., 2022)