Reusability and modularity of safety specifications for supervisory control.

Florian Gbe, Oliver Ney, Stefan Kowalewski

Browse the full ETFA paper archive.