Henzinger, Thomas A, ed. HSCC: Hybrid Systems—Computation and Control. Vol. 1386. Springer, 1998.https://doi.org/10.1007/3-540-64358-3 .
LibreCat: https://research-explorer.ista.ac.at/record/4430
DOI: 10.1007/3-540-64358-3