A Framework for Improving the Verifiability of Visual Notation Design Grounded in the Physics of Notations | IEEE Conference Publication | IEEE Xplore