Hamann, L., Gogolla, M. and Kuhlmann, M. (2011) “OCL-based Runtime Monitoring of JVM hosted Applications”, Electronic Communications of the EASST, 44. doi: 10.14279/tuj.eceasst.44.623.