@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}
  }