LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper).

Christian Colombo, Gordon J. Pace, Gerardo Schneider

Browse the full SEFM paper archive.