K
[KMP00] Yonit Kesten, Zohar Manna, and Amir Pnueli. Verifying Clocked Transition Systems. Acta Informatica 36(11):837-912. Springer-Verlag, 2000. 
@article{acta36(11)-KMP,
  author =              {Kesten, Yonit and Manna, Zohar and Pnueli, Amir},
  title =               {Verifying Clocked Transition Systems},
  publisher =           {Springer-Verlag},
  journal =             {Acta Informatica},
  volume =              {36},
  number =              {11},
  pages =               {837-912},
  year =                {2000},
}
List of authors