EDA Tool Development to Support the Design and Certification of Fail-Safe Products F.M. Gonçalves, M.B. Santos, I.C. Teixeira and J.P. Teixeira IST / INESC-ID, Rua Alves Redol, 9, 1000-029 Lisboa, Portugal {fernando.goncalves, marcelino.santos, jct}@inesc-id.pt Corresponding author: Fernando Gonçalves Address: INESC-ID Rua Alves Redol, 9 1000-029 Lisboa Portugal Phone: +351.21.3100350 Fax: +351.21.3145843 Email: fernando.goncalves@inesc-id.pt