Real-time operating systems on small embedded devices for industrial control and communication | IEEE Conference Publication | IEEE Xplore