Cyrille Artho Watcharin Leungwattanakit Masami Hagiya Yoshinori Tanabe Tools and Techniques for Model Checking Networked Programs. 852-857 2008 SNPD http://doi.ieeecomputersociety.org/10.1109/SNPD.2008.36 conf/snpd/2008 db/conf/snpd/snpd2008.html#ArthoLHT08a