Text this: Real-time machine controller verification and simulation using control signals emulation