A tool for versatile and user-friendly document correction | IEEE Conference Publication | IEEE Xplore