Scalable consistency checking between diagrams - the VIEWINTEGRA approach | IEEE Conference Publication | IEEE Xplore