Synthesis of supervisors for time-varying discrete event systems - Costa,Eduard Montgomery Meira (2004)