發送短信 : Model-driven timing analysis of embedded software

  _____      ___     _    _    __   __  __    __  
 /  ___||   / _ \\  | || | ||  \ \\/ // \ \\ / // 
| // __    | / \ || | || | ||   \ ` //   \ \/ //  
| \\_\ ||  | \_/ || | \\_/ ||    | ||     \  //   
 \____//    \___//   \____//     |_||      \//    
  `---`     `---`     `---`      `-`'       `