@inproceedings{Colombo_2009,
    doi = {10.1109/sefm.2009.13},
    url = {https://doi.org/10.1109%2Fsefm.2009.13},
    year = {2009},
    publisher = {{IEEE}},
    author = {Christian Colombo and Gordon J. Pace and Gerardo Schneider},
    title = {{LARVA} --- Safer Monitoring of Real-Time Java Programs (Tool Paper)},
    booktitle = {2009 Seventh {IEEE} International Conference on Software Engineering and Formal Methods}
}

@inproceedings{Colombo_2009, doi = {10.1109/sefm.2009.13}, url = {https://doi.org/10.1109%2Fsefm.2009.13}, year = {2009}, publisher = {{IEEE}}, author = {Christian Colombo and Gordon J. Pace and Gerardo Schneider}, title = {{LARVA} --- Safer Monitoring of Real-Time Java Programs (Tool Paper)}, booktitle = {2009 Seventh {IEEE} International Conference on Software Engineering and Formal Methods} }