@InProceedings{Dax_Klaedtke_Leue:sipsl,
  author =       {Christian Dax and Felix Klaedtke and Stefan Leue},
  title =        {Specification Languages for Stutter-Invariant 
                  Regular Properties},
  booktitle =    {Proceedings of the 7th International Symposium on Automated
                  Technology for Verification and Analysis (ATVA'09)},
  pages =        {244--254},
  year =         {2009},
  volume =       {5799},
  series =       {Lecture Notes in Computer Science},
  publisher =    {Springer-Verlag},
}