Weighted modal transition systems (2013)

by S S Bauer, U Fahrenberg, L Juhl, K G Larsen, A Legay, C Thrane