Press Release European Space Agency Selects AdaCore’s Qualified Multitasking Solution for Spacecraft Software Development September 24, 2019