Models to support design of highly reliable distributed computer systems with redundant processes of data transmission and handling | IEEE Conference Publication | IEEE Xplore