Real-time quadruped robot control system based on Xenomai | IEEE Conference Publication | IEEE Xplore