SMS: DEPEND : a simulation-based environment for system level dependability analysis / Kumar Goswami and Ravishankar K. Iyer.