Online DES control behavior verification via virtual supervisor. - Jesús M. Trujillo; Zbigniew J. Pasek (SMC, 2003)