أرسل هذا في رسالة قصيرة: A Framework for An LTS Semantics for PROMELA

           __   __   ______    _    _    _    _   
  ____     \ \\/ // |      \\ | || | || | |  | || 
 |    \\    \ ` //  |  --  // | || | || | |/\| || 
 | [] ||     | ||   |  --  \\ | \\_/ || |  /\  || 
 |  __//     |_||   |______//  \____//  |_// \_|| 
 |_|`-`      `-`'   `------`    `---`   `-`   `-` 
 `-`