Stavros Tripakis, Sergio Yovine. Timing Analysis and Code Generation of Vehicle Control Software using Taxys. Electronic Notes in Theoretical Computer Science, 55(2):277-286, 2001. [doi]
@article{TripakisY01,
title = {Timing Analysis and Code Generation of Vehicle Control Software using Taxys},
author = {Stavros Tripakis and Sergio Yovine},
year = {2001},
url = {http://www.elsevier.com/gej-ng/31/29/23/83/33/show/Products/notes/index.htt?-debug=5#012},
tags = {analysis, code generation},
researchr = {https://researchr.org/publication/TripakisY01},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {55},
number = {2},
pages = {277-286},
}