1. Browne, M.C., Clarke, E.M., Grumberg, O.: Characterizing finite Kripke structures in propositional temporal logic. Theor. Comput. Sci. 59, 115–131 (1988)
2. Buchholz, P., Kemper, P.: Model checking for a class of weighted automata. Discret. Event Dyn. Syst. 20(1), 103–137 (2010)
3. Blackburn, P., van Benthem, J.F.A.K., Wolter, F.: Handbook of Modal Logic, vol. 3. Elsevier, Amsterdam (2006)
4. Christoffersen, P., Hansen, M., Mariegaard, A., Ringsmose, J.T., Larsen, K.G., Mardare, R.: Parametric verification of weighted systems. In: André, É., Frehse, G. (eds.) 2nd International Workshop on Synthesis of Complex Parameters, SynCoP 2015, 11 April 2015, London, United Kingdom. OA-SICS, vol. 44, pp. 77–90. SchlossDagstuhl - Leibniz-Zentrum fuer Informatik (2015)
5. Lecture Notes in Computer Science;J Desharnais,1999