Analytical Study of Quantitative Timing Properties of Software | IEEE Conference Publication | IEEE Xplore