DEPEND: a simulation-based environment for system level dependability analysis | IEEE Journals & Magazine | IEEE Xplore