Aspect-oriented Formal Specification Modeling of Air Traffic Control System

Original document

The different versions of the original document can be found in:

• http://dx.doi.org/10.2991/wartia-16.2016.109 under the license https://creativecommons.org/licenses/by

• https://download.atlantis-press.com/article/25855772.pdf

• https://www.atlantis-press.com/proceedings/wartia-16/25855772,

https://academic.microsoft.com/#/detail/2409341566 under the license cc-by