Xiaochuan Yi Krys Kochut JCPNet tool and automated analysis of distributed systems. 327-332 2005 conf/ACMse/2005-2 ACM Southeast Regional Conference (2) http://doi.acm.org/10.1145/1167253.1167324 db/conf/ACMse/ACMse2005-2.html#YiK05