Reusability and modularity of safety specifications for supervisory control. - Florian Göbe; Oliver Ney; Stefan Kowalewski (ETFA, 2016)

Synthesis Tool for Automation Controller Supervision. - Florian Göbe; Thomas Timmermanns; Oliver Ney; Stefan Kowalewski (WODES, 2016)