Safety Critical Websites:
ak-aerotek.com
AK AEROTEK SOFTWARE CENTRE PVT LTD (AKS), BANGALORE, INDIA
AK AEROTEK, Bangalore India, provides its Customers in the UK, Europe and USA, Quality Solutions from proven Off-shore development centres, conforming to Flight Safety Systems...
levela.com
LevelA Software: real-time, embedded outsourcing solutions
outsourcing solutions for real-time embedded software development and testing. experts in commercial, military, and space applications.
sigada.org
ACM SIGAda Home Page
Ada is a great language for engineering large, complex systems.