Yi-Liang Chen, Stéphane Lafortune, Feng Lin: Incremental model evolution and reusability of supervisors for discrete event systems. Autom. 36(2): 243-259 (2000)