Comparison of Hybrid Modular Redundant Multiprocessor Systems with respect to Performabilitites. - Chang Chen; Hiroyuki Asada; Yoshiaki Kakuda; Tohru Kikuno (FTCS, 1993)

Application of protocol sythesis technique to resolution of the service interaction problem. - Yoshiaki Kakuda; Hiroyuki Asada; Tohru Kikuno (FORTE, 1994)

A Dynamic Resolution Method for Feature Interactions and Its Evaluation. - Yoshiaki Kakuda; Akihiro Inoue; Hiroyuki Asada; Tohru Kikuno; Tadashi Ohta (FIW, 1995)