發送短信 : A Design Framework for Reactive and Time-triggered Embedded Systems via the UML-SystemC bridge

  ______     ___      ______   _    _     ______  
 /_   _//   / _ \\   /_   _// | || | ||  /_   _// 
   | ||    | / \ ||  `-| |,-  | || | ||  `-| |,-  
  _| ||    | \_/ ||    | ||   | \\_/ ||    | ||   
 /__//      \___//     |_||    \____//     |_||   
 `--`       `---`      `-`'     `---`      `-`'