An Automatic Finite State Machine Synthesis Using Temporal Logic Decomposition. - Keisuke Bekki; Tohru Nagai; Nobuhiro Hamada; Tsuguo Shimizu; Noriharu Hiratsuka; Kazumasa Shima (ICCAD, 1991)

Phased-in Construction Method of ATOS (Autonomous Decentralized Transport Operation Control System). - Fumio Kitahara; Keiji Kamijou; Yoshiaki Kakurai; Keisuke Bekki; Kazuo Kera; Katsumi Kawano (ISADS, 1999)

Adaptive Step-by-Step Construction Technique Achieving High Assurance for Tokyo Metropolitan Railway Network. - Kazuo Kera; Keisuke Bekki; Keiji Kamijyo; Kinji Mori (HASE, 2001)

Assurance Technologies for Growing Systems and Their Application to Large-Scale Transport Operation Control Systems. - Kazuo Kera; Keisuke Bekki; Naoki Miwa; Fumio Kitahara; Keiji Kamijyo; Kazuya Seki (ISADS, 2001)

High Assurance Step-by-Step Autonomous Construction Technique for Large Real Time System. - Kazuo Kera; Keisuke Bekki; Kinji Mori; Issei Masumoto (HASE, 2002)

Step-by-Step System Construction Technique with Assurance Technology -Evaluation Measure for Step-by-Step System Construction-. - Kazuo Kera; Keisuke Bekki; Kinji Mori (ICDCS Workshops, 2002)

Autonomous Successive Construction Technology without Stopping System Operation for Real-Time System. - Kazuo Kera; Keisuke Bekki; Hideki Osumi; Kinji Mori (ISADS, 2003)

Application of Assurance Technology for Railway Signaling System. - Masayuki Matsumoto; Keisuke Bekki (ISADS, 2007)

An assurance method for functional system expansion of Tokyo metropolitan railway system. - Keiji Kamijyo; Hiroshi Kawasaki; Taichi Arisawa; Keisuke Bekki; Hideki Osumi; Daisuke Yagyu (ISADS, 2009)