L. Hamann, M. Gogolla, and M. Kuhlmann, “OCL-based Runtime Monitoring of JVM hosted Applications”, eceasst, vol. 44, Sep. 2011.