What’s the Difference Between Ada and SPARK?
https://www.electronicdesign.com/technologies/dev-tools/article/21801107/adacore-whats-the-difference-between-ada-and-spark

Ada Programming Language: Alive and in Flight
https://blog.hackbrightacademy.com/blog/ada-language-links/

Boeing flies 99% Ada
http://archive.adaic.com/projects/atwork/boeing.html

A New Era For Ada/SPARK Open Source Community
https://blog.adacore.com/a-new-era-for-ada-spark-open-source-community

The CubeSat Laboratory at Vermont Technical College (VTC) is a collection of students, faculty, and staff building CubeSat technology spacecraft.
http://www.cubesatlab.org/

C130 engineering Praxis and Lockeed
https://www.inf.unibz.it/~artale/FM/spark_lockheed-c130j.pdf

AdaCore is partnering with NVIDIA™ to implement Ada and SPARK programming languages for select safety-critical firmware used in their next-generation embedded systems platforms.
https://www.adacore.com/nvidia

How the Boeing 737 Max Disaster Looks to a Software Developer
https://spectrum.ieee.org/how-the-boeing-737-max-disaster-looks-to-a-software-developer