Symbolic Model Checking for Self-Stabilizing Algorithms. - Tatsuhiro Tsuchiya; Shin'ichi Nagano; Rohayu Bt Paidi; Tohru Kikuno (IEEE Trans. Parallel Distributed Syst., 2001)