1. Lecture Notes in Computer Science;R Agrawal,1998
2. Alur, R., Henzinger, T.A.: A really temporal logic. J. ACM 41(1), 181–203 (1994)
3. Bartocci, E., Corradini, F., Merelli, E., Tesei, L.: Detecting synchronisation of biological oscillators by model checking. Theor. Comput. Sci. 411(20), 1999–2018 (2010). Hybrid Automata and Oscillatory Behaviour in Biological Systems
4. Basin, D., Klaedtke, F., Müller, S., Pfitzmann, B.: Runtime monitoring of metric first-order temporal properties. In: Hariharan, R., Mukund, M., Vinay, V. (eds.) Proceedings of the 28th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2008) (Dagstuhl, Germany, 2008). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany (2008)
5. Brim, L., Dluhoš, P., Šafránek, D., Vejpustek, T.: STL: extending signal temporal logic with signal-value freezing operator. Inf. Comput. 236, 52–67 (2014)