Text this: Model-driven timing analysis of embedded software

__    __   __   __   __   __   __   __   _    _   
\ \\ / //  \ \\/ //  \ \\/ //  \ \\/ // | |  | || 
 \ \/ //    \ ` //    \   //    \ ` //  | |/\| || 
  \  //      | ||     / . \\     | ||   |  /\  || 
   \//       |_||    /_//\_\\    |_||   |_// \_|| 
    `        `-`'    `-`  --`    `-`'   `-`   `-`