Cyrille Artho Watcharin Leungwattanakit Masami Hagiya Yoshinori Tanabe Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs. 807-813 2008 SNPD http://doi.ieeecomputersociety.org/10.1109/SNPD.2008.50 conf/snpd/2008 db/conf/snpd/snpd2008.html#ArthoLHT08