Ada Language: Trusted Tool for Safety Critical Systems (pages 24-26) Read the article on COTS Journal » Posted on: 7/10/2017