Establishing and Navigating Trace Links between Elements of Informal Diagram Sketches | IEEE Conference Publication | IEEE Xplore