Xianfeng Li, Liang Yun, Tulika Mitra, Abhik Roychoudhury. Chronos: A timing analyzer for embedded software. Science of Computer Programming, 69(1-3):56-67, 2007. [doi]
@article{LiLMR07, title = {Chronos: A timing analyzer for embedded software}, author = {Xianfeng Li and Liang Yun and Tulika Mitra and Abhik Roychoudhury}, year = {2007}, doi = {10.1016/j.scico.2007.01.014}, url = {http://dx.doi.org/10.1016/j.scico.2007.01.014}, tags = {embedded software}, researchr = {https://researchr.org/publication/LiLMR07}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {69}, number = {1-3}, pages = {56-67}, }