B. E. Aupperle John F. Meyer State Space Generation for Degradable Multiprocessor Systems. 308-317 1991 conf/ftcs/1991 FTCS db/conf/ftcs/ftcs91.html#AupperleM91 http://doi.ieeecomputersociety.org/10.1109/FTCS.1991.146678