Ratnesh Kumar, Hok M. Cheung, Steven I. Marcus: Extension based Limited Lookahead Supervision of Discrete Event Systems. Autom. 34(11): 1327-1344 (1998)