Fahrenberg, U. et al. 2012. A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic. COMPUTING AND INFORMATICS. 29, 6+ (Jan. 2012), 1311–1324.