Dependable computing: From concepts to design diversity | IEEE Journals & Magazine | IEEE Xplore