Towards a formal language for the common description of aircraft intent | IEEE Conference Publication | IEEE Xplore