A temporal logic approach to discrete event control | IEEE Conference Publication | IEEE Xplore