T
[TY01] Stavros Tripakis and Sergio Yovine. Timing Analysis and Code Generation of Vehicle Control Software using Taxys. In RV'01, Electronic Notes in Theoretical Computer Science 55(2), pages 277-286. Elsevier, July 2001. 
@inproceedings{rv2001-TY,
  author =              {Tripakis, Stavros and Yovine, Sergio},
  title =               {Timing Analysis and Code Generation of Vehicle
                         Control Software using {T}axys},
  editor =              {Havelund, Klaus and Ro{\c{s}}u, Grigore},
  booktitle =           {{P}roceedings of the 1st {I}nternational {W}orkshop
                         on {R}untime {V}erification ({RV}'01)},
  acronym =             {{RV}'01},
  publisher =           {Elsevier},
  series =              {Electronic Notes in Theoretical Computer Science},
  volume =              {55},
  number =              {2},
  pages =               {277-286},
  year =                {2001},
  month =               jul,
}
List of authors