@article{bauer:falcone:fmsd16,
  author = {Andreas Bauer and Ylies Falcone},
  title = {Decentralised LTL monitoring},
  journal = {Formal Methods in System Design},
  volume = {48},
  number = {1--2},
  pages = {46--93},
  year = {2016}
}