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

  _  _      ___     _____     __   __   ______   
 | \| ||   / _ \\  |  __ \\   \ \\/ // |      \\ 
 |  ' ||  | / \ || | |  \ ||   \ ` //  |  --  // 
 | .  ||  | \_/ || | |__/ ||    | ||   |  --  \\ 
 |_|\_||   \___//  |_____//     |_||   |______// 
 `-` -`    `---`    -----`      `-`'   `------`