Visual constraint diagrams: runtime conformance checking of UML object models versus implementations | IEEE Conference Publication | IEEE Xplore