EPOS : A Specification and Design Technique for Computer Controlled Real-time Automation Systems

@inproceedings{Lauber-al:ICSE79,
  author    = {Rudolf Lauber and
               Joachim Biewald and
               Peter G{\"{o}}hner and
               H. Schelling},
  title     = {{EPOS} : A Specification and Design Technique for Computer Controlled Real-time Automation Systems},
  booktitle = {ICSE},
  pages     = {245--250},
  publisher = {{IEEE} Computer Society},
  year      = {1979},
}