Java unit annotations for units-of-measurement error prevention | IEEE Conference Publication | IEEE Xplore