@misc{indiciaeedf2d6cdcf91,
  title = {Weighted Modal Transition Systems},
  author = {Sebastian S. Bauer and Uli Fahrenberg and Line Juhl and Kim G. Larsen and Axel Legay and Claus Thrane},
  year = {2012},
  url = {https://arxiv.org/abs/1210.5659},
  note = {Source identifier: 1210.5659}
}