Text this: Model-driven timing analysis of embedded software

  _  __    _____               _____     _  _   
 | |/ //  |  ___||   ____     |  ___||  | \| || 
 | ' //   | ||__    |    \\   | ||__    |  ' || 
 | . \\   | ||__    | [] ||   | ||__    | .  || 
 |_|\_\\  |_____||  |  __//   |_____||  |_|\_|| 
 `-` --`  `-----`   |_|`-`    `-----`   `-` -`  
                    `-`