@PhDThesis{	  muller:theory:2009,
  author	= {Samuel M\"uller},
  language	= {USenglish},
  note		= {DISS. ETH No. 18445},
  school	= {ETH Zurich},
  title		= {Theory and Applications of Runtime Monitoring Metric
		  First-order Temporal Logic},
  year		= 2009,
  user		= {sml}
}