Jan Komenda, Jan van Schuppen, Benoit Gaudin, Hervé Marchand. Modular supervisory control with general indecomposable specification languages.
44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, Dec 2005, Seville, Spain. pp.3474-3479.
⟨inria-00483919⟩