@article{ZiSc05,
  key         ={ZiSc05},
  author      ={R. Ziller and K. Schneider},
  title       ={Combining Supervisor Synthesis and Model Checking},
  journal     ={ACM Transactions on Embedded Computing Systems (TECS)},
  month       ={May},
  publisher   ={ACM},
  volume      ={4},
  number      ={2},
  pages       ={331-362},
  year        ={2005},
  remark      ={rsg},
}