The EFTOS Voting Farm: A Software Tool for Fault Masking in Message Passing Parallel Environments