Performance Comparison of VxWorks, Linux, RTAI, and Xenomai in a Hard Real-Time Application | IEEE Journals & Magazine | IEEE Xplore