1. A theory of timed automata
2. A really temporal logic
3. Christel Baier and Joost-Pieter Katoen . 2008. Principles of model checking . MIT Press . Christel Baier and Joost-Pieter Katoen. 2008. Principles of model checking. MIT Press.
4. Alexey Bakhirkin and Nicolas Basset . 2019 . Specification and Efficient Monitoring Beyond STL. In Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference , TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings, Part II(Lecture Notes in Computer Science, Vol. 11428) , Tomás Vojnar and Lijun Zhang (Eds.). Springer, 79–97. Alexey Bakhirkin and Nicolas Basset. 2019. Specification and Efficient Monitoring Beyond STL. In Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings, Part II(Lecture Notes in Computer Science, Vol. 11428), Tomás Vojnar and Lijun Zhang (Eds.). Springer, 79–97.