Watcharin Leungwattanakit Cyrille Artho Masami Hagiya Yoshinori Tanabe Mitsuharu Yamamoto Verifying networked programs using a model checker extension. 409-410 2009 ICSE Companion http://dx.doi.org/10.1109/ICSE-COMPANION.2009.5071036 conf/icse/2009c db/conf/icse/icse2009c.html#LeungwattanakitAHTY09