The PMC system level fault model: cardinality properties of the implied faulty sets | IEEE Journals & Magazine | IEEE Xplore