Proposal of architecture and implementation process for IEC61508 compliant, dependable robot systems. - Ryo Hanai; Hajime Saito; Yoshihiro Nakabo; Kiyoshi Fujiwara; Takuya Ogure; Daichi Mizuguchi; Keiko Homma; Kohtaro Ohba (ROBIO, 2012)

RT-component based integration for IEC61508 ready system using SysML and IEC61499 function blocks. - Ryo Hanai; Hajime Saito; Yoshihiro Nakabo; Kiyoshi Fujiwara; Takuya Ogure; Daichi Mizuguchi; Keiko Homma; Kohtaro Ohba (SII, 2012)

Describing Software Specification by Combining SysML with the B Method. - Satoko Kinoshita; Hidekazu Nishimura; Hiroki Takamura; Daichi Mizuguchi (ISSRE Workshops, 2014)

Enhancing Human-Robot Collaboration through Existing Guidelines: A Case Study Approach. - Yutaka Matsubara; Akihisa Morikawa; Daichi Mizuguchi; Kiyoshi Fujiwara (CoRR, 2025)