The PMC System Level Fault Model: Cardinality Properties of the Implied Faulty Sets. - Mary Ann Kennedy; Gerard G. L. Meyer (IEEE Trans. Computers, 1989)