@inproceedings{CPS09larva,
  author    = {Christian Colombo and
               Gordon J. Pace and
               Gerardo Schneider},
  title     = {LARVA --- Safer Monitoring of Real-Time Java Programs (Tool
               Paper)},
  booktitle = {Seventh IEEE International Conference on Software Engineering
               and Formal Methods (SEFM)},
  month     = {November},
  location  = {Hanoi, Vietnam},
  year      = {2009},
  pages     = {33-37},
  publisher = {IEEE Computer Society}
}