http://docs.adacore.com/live/wave/gps/html/gps_tutorial/inde...
http://getadanow.com/ (http://www.adalog.fr/en/freeada.html)
https://www.adacore.com/press/make-with-ada-competition-2018