A Blocking-based Approach to Protocol Validation. - Qizhi Ye; Yu Lei 001; David Chenho Kung (Comput. J., 2006)