The European Organisation for the Safety of Air Navigation ARINC 424A specification and SESAR WP9.31 AIXM Procedure Modelling/Encoding seminar Brussels.