AUTOMATIC TOOL FOR INSERTION AND SIMULATION OF FAULT TOLERANT ARCHITECTURES (AMATISTA) Durata: 01/05/2000 - 30/04/2002 Responsabile scientifico: Matteo Sonza Reorda Tipo di progetto: Ricerca UE - VPQ - IST (SOCIETA' DELL'INFORMAZIONE) Codice identificativo progetto: IST-1999-11762 Partner ALCATEL ESPACIO SA - AEO -