@InProceedings{	  dax.ea:specification:2009,
  author	= {Christian Dax and Felix Klaedtke and Stefan Leue},
  booktitle	= {7th International Symposium on Automated Technology for
		  Verification and Analysis (ATVA)},
  language	= {USenglish},
  pages		= {244--254},
  publisher	= {Springer-Verlag},
  series	= {Lecture Notes in Computer Science},
  title		= {Specification Languages for Stutter-Invariant Regular
		  Properties},
  volume	= 5799,
  year		= 2009,
  user		= {felixkl}
}