Dependability Development Support Initiative
DDSI - IST 2000 29202