@INPROCEEDINGS{EtessamiHolzmann.2000.CONCUR,
  author = {Kousha Etessami and Gerard J. Holzmann},
  title = {Optimizing {B\"uchi} Automata},
  booktitle = {CONCUR'00},
  year = {2000},
  volume = {1877},
  series = lncs,
  pages = {153--168},
  conference = {CONCUR}
}