Detailed rules for the certification and declaration of air traffic management/air navigation services systems and air | GovLens