Fault Detection and Recovery Coverage Improvement by Clock Synchronized Duplicated Systems with Optimal Time Diversity. - Nobuyasu Kanekawa; Takayuki Meguro; Kyosuke Isono; Yosuke Shima; Naoto Miyazaki; Shinichiro Yamaguchi (FTCS, 1998)