,
IEEE
IEEE Conference on Decision and Control
Scientific Computing

Komenda, J.& van Schuppen, J. (2005). Supremal Sublanguages of General Specification Languages Arising in Modular Control of Discrete-Event Systems. Proceedings of IEEE Conference on Decision and Control 2005 (45), 2775–2780.