A dependability analysis framework for control systems according to international standards. - Rinka Miura; Koichi Suyama (SICE, 2022)