Reducing OS overhead for real-time industrial controllers with adjustable timer resolution | IEEE Conference Publication | IEEE Xplore