Fahrenberg, U.; Larsen, K. G.; Thrane, C. A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic. Comput. Inform. 2012, 29, 1311-1324.