Maler, O., Nickovic, D., &; Pnueli, A. (2008). Checking Temporal Properties of Discrete, Timed and Continuous Behaviors. In Pillars of Computer science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday (pp. 475–505). Springer.https://doi.org/10.1007/978-3-540-78127-1_26