Model-driven Monitoring: Generating Assertions from Visual Contracts | IEEE Conference Publication | IEEE Xplore