Planning on Discrete Events Systems: A logical approach | IEEE Conference Publication | IEEE Xplore