Ship system 2000, a stable architecture under continuous evolution | ACM SIGAda Ada Letters | DeepDyve