Fahrenberg, U., Larsen, K. G., & Thrane, C. (2010). A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic. Computing and Informatics, 29(6+), 1311–1324. https://cai.type.sk/content/2010/6%2B/a-quantitative-characterization-of-weighted-kripke-structures-in-temporal-logic/