A supervisory control method for ensuring the conformance of real-time discrete event systems
real-time discrete event systems (RTDES)
scientific article; zbMATH DE number 5009070