Zhenyu Tan William Leal Lonnie R. Welch Verification of instrumentation techniques for resource management of real-time systems. 1015-1022 2007 80 Journal of Systems and Software 7 http://dx.doi.org/10.1016/j.jss.2006.09.033 db/journals/jss/jss80.html#TanLW07