spazioit.com
Source Code Analysis of Flight Software
This industrial presentation was given by Spazio IT at Ada-Europe 2015.