@Mike Halloran: Thank you for that citation. I found it, and it's very interesting. It's not exactly what I'm looking for, since the configuration of the space shuttle computers don't affect the dynamic behavior of the shuttle, ie the shuttle would perform the same if there were 2 or 5...