Maler, Oded, et al. “Checking Temporal Properties of Discrete, Timed and Continuous Behaviors.”10.1007/978-3-540-78127-1_26__Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Springer, 2008, pp. 475–505, doi:10.1007/978-3-540-78127-1_26.