Verification method of reliability requirements. - Satsuki Yamada; Takayuki Omori; Atsushi Ohnishi (KES, 2019)