Using Ada's Visibility Rules and Static Analysis to Enforce Segregation of Safety Critical Components. - Rosen, Jean-Pierre; Van-Den-Hende, Jean-Christophe (Ada User Journal, 2016)