Mathematical structure model for Word-Based Program. - Osamu Arai; Hamido Fujita (Knowl. Based Syst., 2003)

Verification of the Lyee requirement. - Osamu Arai; Hamido Fujita (SoMeT, 2006)

Towards Developing Adjustable Software: A Case Study with the Lyee Approach. - Sergei Gorlatch; Tae Kameda; Hamido Fujita; Michiru Tanaka; Yutaka Funyu; Osamu Arai (SoMeT, 2006)

New Verification of Reactive Requirement for Lyee Method. - Osamu Arai; Hamido Fujita (SoMeT, 2007)

Design Concept of Automatic Program Generation Tool for Reactive Requirement. - Osamu Arai; Hamido Fujita (SoMeT, 2008)

Towards Verifying Declarative Specifications of Reactive Systems. - Tae Kameda; Osamu Arai; Sergei Gorlatch; Hamido Fujita (SoMeT, 2008)

Towards a Verification-Based Development Approach for Reactive Systems. - Tae Kameda; Osamu Arai; Sergei Gorlatch; Hamido Fujita (SoMeT, 2009)