發送短信 : Mô hình hóa và kiểm chứng các chương trình phần mềm hướng khía cạnh

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