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

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