أرسل هذا في رسالة قصيرة: Safety analysis of a Class of Timed Automata Hybrid Systems

 __   _      ___      _  _     ______    ______  
| || | ||   / _ \\   | \| ||  /_   _//  /_   _// 
| '--' ||  | / \ ||  |  ' ||   -| ||-   `-| |,-  
| .--. ||  | \_/ ||  | .  ||   _| ||_     | ||   
|_|| |_||   \___//   |_|\_||  /_____//    |_||   
`-`  `-`    `---`    `-` -`   `-----`     `-`'