Kevin Bierhoff Jonathan Aldrich PLURAL: checking protocol compliance under aliasing. 971-972 2008 ICSE Companion http://doi.acm.org/10.1145/1370175.1370213 conf/icse/2008c db/conf/icse/icsec2008.html#BierhoffA08