Martin Mach, Frantisek Plásil: Addressing State Explosion in Behavior Protocol Verification. SNPD 2004: 327-333