Kevin W. Hamlen, Micah Jones, Meera Sridhar: Aspect-Oriented Runtime Monitor Certification. TACAS 2012: 126-140