IEEE Embedded Fault Tolerant Workshop, Program Committee 2000