A Formal Model for Advanced Physical Annotations | IEEE Conference Publication | IEEE Xplore