Online DES control behavior verification via virtual supervisor | IEEE Conference Publication | IEEE Xplore