Ensuring the conformance of reactive discrete-event systems using supervisory control. - Thieny Eron; Hervé Marchand; Vlad Rusu; Valéry Tschaen (CDC, 2003)