1. Robust, expressive, and quantitative linear temporal logics: pick any two for free;Neider,2019
2. The temporal logic of programs;Pnueli,1977
3. A Practical Introduction to PSL;Eisner,2006
4. Fifteen years of formal property verification in intel;Fix,2008
5. Reasoning about infinite computations;Vardi;Inf. Comput.,1994