K
[Koy87] Ron Koymans. Specifying Message Passing and Real-Time Systems with Real-Time Temporal Logic. In ESPRIT'87. Elsevier, September 1987. 
@inproceedings{esprit1987-Koy,
  author =              {Koymans, Ron},
  title =               {Specifying Message Passing and Real-Time Systems
                         with Real-Time Temporal Logic},
  booktitle =           {{P}roceedings of the 4th {A}nnual {ESPRIT}
                         {C}onference ({ESPRIT}'87)},
  acronym =             {{ESPRIT}'87},
  publisher =           {Elsevier},
  year =                {1987},
  month =               sep,
}
List of authors