Experiences with model-centred design methods and tools in safe robotics. - Geoffrey Biggs; Takeshi Sakamoto; Kiyoshi Fujiwara; Keiju Anada (IROS, 2013)

Modelling and Analysis of a Redundant Mobile Robot Architecture Using AADL. - Geoffrey Biggs; Kiyoshi Fujiwara; Keiju Anada (SIMPAR, 2014)