Hamann, L.; Gogolla, M.; Kuhlmann, M. OCL-Based Runtime Monitoring of JVM Hosted Applications. ECEASST 2011, 44.