MLDD (Multi Layered Design Diversity) Architecture for Achieving High Design Fault Tolerance Capabilities. - Aki Watanabe; Ken Sakamura (EDCC, 1994)

Design Fault Tolerance in Operating Systems Based on a Standarization Project. - Aki Watanabe; Ken Sakamura (FTCS, 1995)

A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards. - Aki Watanabe; Ken Sakamura (ICSE, 1996)

Implementation of design fault tolerance based on a standardization project for operating systems. - Aki Watanabe; Ken Sakamura (Syst. Comput. Jpn., 1997)