Refik Samet: Design and implementation of highly reliable dual-computer systems. Comput. Secur. 28(7): 710-722 (2009)