Introducing discrete-event control concepts and state-transition methodology into control system curricula | IEEE Journals & Magazine | IEEE Xplore