A Methodology And Tool Support For The Design And Evaluation Of Fault Tolerant, Distributed Embedded Systems