Media type: E-Article Title: Weighted modal transition systems Contributor: Bauer, Sebastian S.; Fahrenberg, Uli; Juhl, Line; Larsen, Kim G.; Legay, Axel; Thrane, Claus imprint: Springer Science and Business Media LLC, 2013 Published in: Formal Methods in System Design Language: English DOI: 10.1007/s10703-012-0178-9 ISSN: 0925-9856; 1572-8102 Origination: Footnote: