@inproceedings{kleiner_et_al_simpar08,
   author = {A. Kleiner and G. Steinbauer and F. Wotawa},
   title = {Towards automated online diagnosis of robot navigation software},
   booktitle = {Proc. of Int. Conf. on Simulation, Modeling and
	Programming for Autonomous Robots (SIMPAR)},
   series = {Lecture Notes in Computer Science},
   volume = {5325},
   pages = {159--170},
   publisher = {Springer},
   year = {2008}
}