Model-Based System Testing Using Visual Contracts | IEEE Conference Publication | IEEE Xplore