Y
[Yov97] Sergio Yovine. Kronos: A verification tool for real-time systems. International Journal on Software Tools for Technology Transfer 1(1-2):123-133. Springer-Verlag, October 1997. 
@article{sttt1(1-2)-Yov,
  author =              {Yovine, Sergio},
  title =               {Kronos: A verification tool for real-time systems},
  publisher =           {Springer-Verlag},
  journal =             {International Journal on Software Tools for
                         Technology Transfer},
  volume =              {1},
  number =              {1-2},
  pages =               {123-133},
  year =                {1997},
  month =               oct,
}
List of authors