Discrete event control of an unmanned aircraft | IEEE Conference Publication | IEEE Xplore