Software fault tolerance: making software behave | IEEE Journals & Magazine | IEEE Xplore