@techreport{Banerjee12,
  author = {Subarno Banerjee},
  title = {Timing Analysis for the {Precision Timed ARM} Processor},
  institution = {Kiel University, Department of Computer Science},
  year = {2012},
  type = {Technical Report},
  number = {1212},
  month = {June},
  note = {ISSN 2192-6247},
  pdf = {report-1212.pdf},
}