@InProceedings{	  basin.caronni.ea:scalable,
  author	= {David Basin and Germano Caronni and Sarah Ereth and Matus
		  Harvan and Felix Klaedtke and Heiko Mantel},
  title		= {Scalable Offline Monitoring of Temporal Specifications},
  booktitle	= {Formal Methods in System Design 49 (1-2)},
  year		= 2016,
  pages		= {75-108}
}