@TechReport{	  harvan.basin.ea:checking,
  author	= {Mat\'u&#353 Harvan and David Basin and Germano Caronni and
		  Sarah Ereth and Felix Klaedtke and Heiko Mantel},
  title		= {Checking System Compliance by Slicing and Monitoring
		  Logs},
  institution	= {ETH Zurich},
  year		= 2013,
  number	= 791,
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2013/eth-7228-01.pdf}
}