Using Ada's Visibility Rules and Static Analysis to Enforce Segregation of Safety Critical Components.Published in:Ada User Journal, 2016, v. 37, n. 3, p. 146By:Rosen, Jean-Pierre;Van-Den-Hende, Jean-ChristophePublication type:Article