發送短信 : Towards overhead-free interface theory for compositional hierarchical real-time systems

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