Text this: Using Ada's Visibility Rules and Static Analysis to Enforce Segregation of Safety Critical Components.