發送短信 : Automated generation and analysis of dynamic system designs

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