發送短信 : Using simulation for the validation of high level specifications of control systems

             ___     __   _    __   __    ____    
  ____      / _ \\  | || | ||  \ \\/ //  |  _ \\  
 |    \\   / //\ \\ | '--' ||   \ ` //   | |_| || 
 | [] ||  |  ___  ||| .--. ||    | ||    | .  //  
 |  __//  |_||  |_|||_|| |_||    |_||    |_|\_\\  
 |_|`-`   `-`   `-` `-`  `-`     `-`'    `-` --`  
 `-`