Ada used to develop a global positioning system for future spacecraft | ACM SIGAda Ada Letters | DeepDyve