Title: Real time implementation of discrete-event control systems