K
[Koy90] Ron Koymans. Specifying Real-Time Properties with Metric Temporal Logic. Real-Time Systems 2(4):255-299. Kluwer Academic, 1990. 
@article{rts2(4)-Koy,
  author =              {Koymans, Ron},
  title =               {Specifying Real-Time Properties with Metric Temporal
                         Logic},
  publisher =           {Kluwer Academic},
  journal =             {Real-Time Systems},
  volume =              {2},
  number =              {4},
  pages =               {255-299},
  year =                {1990},
}
List of authors