Standard Linux for embedded real-time manufacturing control systems | IEEE Conference Publication | IEEE Xplore