@Article{thielscher:FI03,
  author = 	"Matthias Fichtner and Axel Gro{\ss}mann and Michael Thielscher",
  title =       "Intelligent Execution Monitoring in Dynamic Environments",
  journal = 	"Fundamenta Informaticae",
  year = 	2003,
  volume = 	"57",
  number = 	"2--4",
  pages = 	"371--392"
}