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