Alur, R., Henzinger, T. A., &; Sontag, E. D. (Eds.). (1996). Hybrid Systems III: Verification and Control (Vol. 1066). Berlinf; Heidelberg: Springer.https://doi.org/10.1007/BFb0020931