Samir M. Koriem Lalit M. Patnaik Fault-tolerance analysis of hypercube systems using Petri net theory. 71-88 1993 21 Journal of Systems and Software 1 http://dx.doi.org/10.1016/0164-1212(93)90018-S db/journals/jss/jss21.html#KoriemP93