@TECHREPORT{cs2009-01,
    Author         = {Christian Colombo and Gordon J. Pace and Gerardo Schneider},
    Institution    = {Department of Computer Science, University of Malta},
    note           = {Available from \verb+http://www.cs.um.edu.mt/~reports+},
    Number         = {CS2009-01},
    Title          = {Resource-Bounded Runtime Verification of Java Programs with Real-Time Properties},
    Year           = {2009}
}