jMonitor: Java Runtime Event Specification and Monitoring Library. - Murat Karaorman; Jay Freeman (RV@ETAPS, 2004)