The design of interactive graphics aids to mask layout | IEEE Journals & Magazine | IEEE Xplore