"Limited Lookahead Policies in Supervisory Control of Discrete Event Systems" IEEE Transactions on Automatic Control, vol. 37, no. 12, pp. 1921-1935, Dec. 1992, doi: 10.1109/9.182478.