Introduction to Linux for Real-Time Control Introductory Guidelines and Reference for Control Engineers and Managers