أرسل هذا في رسالة قصيرة: Interactive Systems. Design, Specification, and Verification

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