Tatsuhiro Tsuchiya Shin'ichi Nagano Rohayu Bt Paidi Tohru Kikuno Symbolic Model Checking for Self-Stabilizing Algorithms. 81-95 2001 12 IEEE Trans. Parallel Distrib. Syst. 1 http://www.computer.org/tpds/td2001/l0081abs.htm db/journals/tpds/tpds12.html#TsuchiyaNPK01