Judi Romijn Jan Springintveld Exploiting Symmetry in Protocol Testing. 337-352 1998 conf/forte/1998 FORTE db/conf/forte/forte1998.html#RomijnS98