U. Fahrenberg, K. G. Larsen, and C. Thrane, “A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic”, Comput. Inform., vol. 29, no. 6+, pp. 1311–1324, Jan. 2012.