The European Space Agency (ESA) has selected AdaCore to provide a qualified multitasking solution for spacecraft software development to support multiple ongoing and future ESA projects.

Source: ESA selects AdaCore's qualified multitasking solution