Automatic generation of controls code from models for real-time Linux platforms