發送短信 : Nghiên cứu về đặc tả và kiểm chứng ràng buộc thời gian giữa các thành phần trong chương trình tương tranh

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