[adezxc]

There's this talk by AdaCore and a SWE@nVidia on how nVidia utilized Ada/Spark for Embedded software: https://www.youtube.com/watch?v=2YoPoNx3L5E