Stav dette: Reliable software technology- Ada- Europe 2005