@InProceedings{KR10,
   author =      "O. Kupferman and A. Rosenberg",
   title =       "The Blow-Up in Translating {LTL} to Deterministic Automata",
   booktitle =   mochart10,
   pages =       "85--94",
   volume =      "6572",
   series =      lnai,
   publisher = springer,
   year =        2010
}