Dependability evaluation of a fault-tolerant processor by GSPN modeling | IEEE Journals & Magazine | IEEE Xplore