@techreport{Petters_07, address = {Sydney, Australia}, author = {Stefan M. Petters}, institution = {NICTA}, month = jan, number = {}, paperurl = {https://trustworthy.systems/publications/papers/Petters_07.pdf}, title = {Execution-Time Profiles}, year = {2007} }