@article{SchellhornBurandt1995,
  author    = {Gerhard Schellhorn and Axel Burandt},
  title     = {KIV: specification and verification of distributed technical systems with central control},
  journal   = {Lecture Notes in Computer Science},
  volume    = {891},
  pages     = {229 -- 245},
  doi       = {10.1007/3-540-58867-1_57},
  year      = {1995},
}