An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL. - Shaoying Liu; Masashi Asuka; Kiyotoshi Komaya; Yasuaki Nakamura (ICECCS, 1998)

Applying SOFL to Specify A Railway Crossing Controller for Industry. - Shaoying Liu; Masashi Asuka; Kiyotoshi Komaya; Yasuaki Nakamura (WIFT, 1998)

Revised design calculations of elevator systems. - Takuji Maeda; Kiyotoshi Komaya (SMC, 2000)