Dependability in Electronic Systems - Kanekawa, Nobuyasu; Ibe, Eishi H.; Suga, Takashi; Uematsu, Yutaka (Springer New York, 2011)