Research Article
Towards Sophisticated Air Traffic Control System Using Formal Methods
| Terminating_Landing | | ANY aircraft | | WHERE grd1: aircraft ∈ aircrafts_in_airport grd2: statusof(aircraft) = Landing | | THEN act1: statusof(aircraft) ≔ TerminatedL act2: curr_RW_status ≔ available act3: curr_RWL_status ≔ OFF | | END |
|