@InProceedings{leucker+07regular,
  author = 	 {Martin Leucker and C\'{e}sar S\'{a}nchez},
  title = 	 {Regular Linear Temporal Logic},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proceedings of The 4th International Colloquium on Theoretical Aspects of Computing (ICTAC'07)},
  pages = 	 {291--305},
  year = 	 {2007},
  editor = 	 {Cliff Jones and Zhiming Liu and Jim Woodcock},
  volume = 	 {4711},
  OPTnumber = 	 {},
  series = 	 {Lecture Notes in Computer Science},
  address = 	 {Macau, China},
  month = 	 {September},
  OPTorganization = {},
  publisher = {Springer-Verlag},
  OPTnote = 	 {},
  OPTannote = 	 {}
}