@article{bauer:pinchinat:deds09,
  journal =      {International Journal on Discrete Event Dynamic Systems},
  author =	 {Andreas Bauer and Sophie Pinchinat},
  title =	 {Prognosis of \omega-Languages for the Diagnosis
                  of *-Languages: A Topological Perspective},
  PAGES =        {451--470},
  volume =       19,
  number =       4,
  YEAR =	 2009,
  ISSN =         {0924-6703},
  doi =          {10.1007/s10626-009-0084-5}
}