@inproceedings{ZiSc03b,
  key         ={ZiSc03b},
  author      ={R. Ziller and K. Schneider},
  title       ={A Generalized Approach to Supervisor Synthesis},
  booktitle   ={Formal Methods and Models for Codesign (MEMOCODE)},
  address     ={Mont Saint-Michel, France},
  publisher   ={IEEE Computer Society},
  pages       ={217-226},
  year        ={2003},
  remark      ={rsg},
}