@techreport{Schellhorn2019,
  author    = {Gerhard Schellhorn},
  title     = {Specification and verification of distributed technical systems with central control},
  institution = {Fakult{\"a}t f{\"u}r Angewandte Informatik},
  year      = {2019},
}