Tomoo Sumida, Hiroyuki Suzuki, Sho Sei Shun, Kazuhito Ohmaki, Takaaki Goto, Kensei Tsuchida: FDR verification of a system involving a robot climbing stairs. ICIS 2017: 875-878