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