O
[OW06] Joël Ouaknine and James Worrell. Safety Metric Temporal Logic is Fully Decidable. In TACAS'06, Lecture Notes in Computer Science 3920, pages 411-425. Springer-Verlag, March 2006. 
@inproceedings{tacas2006-OW,
  author =              {Ouaknine, Jo{\"e}l and Worrell, James},
  title =               {Safety Metric Temporal Logic is Fully Decidable},
  editor =              {Hermanns, Holger and Palsberg, Jens},
  booktitle =           {{P}roceedings of the 12th {I}nternational
                         {C}onference on {T}ools and {A}lgorithms for
                         {C}onstruction and {A}nalysis of {S}ystems
                         ({TACAS}'06)},
  acronym =             {{TACAS}'06},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {3920},
  pages =               {411-425},
  year =                {2006},
  month =               mar,
}
List of authors