@Article{	  DiekertL2014tcs,
  author	= "Volker Diekert and Martin Leucker",
  journal	= "Theoretical Computer Science",
  volume	= "537",
  pages		= "29--41",
  title		= "Topology, monitorable properties and runtime verification",
  year		= "2014",
  note		= "Special Issue of ICTAC 2012.",
  doi		= "10.1016/j.tcs.2014.02.052"
}