Functional Safety Assessment of Safety-Related Systems with Non-perfect Proof-Tests. - Hitoshi Muta; Yoshinobu Sato (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2014)