https://5dok.org/document/oz15913y-extending-wcet-benchmark-programs.html