Elicitation of Operational Requirements in ATC Activities Automation Process: The TWR Case | IEEE Conference Publication | IEEE Xplore