1. R. Alur, K. Etessami, S. La Torre, and D. Peled. Parametric temporal logic for “model measuring”. In Proc. 26th Int. Coll. Automata, Languages, and Programming, vol. 1644 of L.N.C.S., pages 159–168. Springer, 1999.
2. R. Alur and T. A. Henzinger. A really temporal logic. J. of the ACM, 41(1):181–203, 1994.
3. A. Bouajjani, R. Echahed, and P. Habermehl. On the verification problem of nonregular properties for nonregular processes. In Proc. 10th IEEE Symp. Logic Comp. Science, pages 123–133, 1995.
4. A. Bouajjani, R. Echahed, and P. Habermehl. Verifying infinite state processes with sequential and parallel composition. In Proc. 22nd ACM Symp. Princ. of Programming Languages, pages 95–106, 1995.
5. J. C. M. Baeten and W. P. Weijland. Process Algebra, vol. 18 of Cambridge Tracts in Theoretical Computer Science. Cambridge Univ. Press, 1990.