ThisbookbyDr.SmitaKrishnaswamy,Prof.IgorMarkov,andProf.JohnP. Hayesintroducespowerfulanalysisframeworksthatwillenabledesignersto addresstheaboveissues.Theirformalismsareflexiblebecausetheyareableto representavarietyoferroneousbehaviors.Theirsystematicmethodsforreasoning aboutreliabilityallowdesigner