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