An efficient modular method for the control of concurrent discrete event systems: A language-based approach
scientific article; zbMATH DE number 5162111
scientific article