A Method for Designing and Implementing a Real-Time Operating System for Industrial Devices | IEEE Conference Publication | IEEE Xplore