You are about to access our book library "Formal Synthesis of Safety Controller Code for Distributed Controllers (Hallenser Schriften Zur Automatisierungstechnik) full version" .