Error detection and display for graphical modeling environments | IEEE Conference Publication | IEEE Xplore