Formal Synthesis of Safety Controller Code for Distributed Controllers

Paperback