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)

Discharging Proof Obligations from Atelier B Using Multiple Automated Provers. - David Mentré; Claude Marché; Jean-Christophe Filliâtre; Masashi Asuka (ABZ, 2012)