Jun Pang Zhengqin Luo Yuxin Deng On automatic verification of self-stabilizing population protocols. 357-367 2008 2 Frontiers of Computer Science in China 4 http://dx.doi.org/10.1007/s11704-008-0040-9 db/journals/fcsc/fcsc2.html#PangLD08