Design Validation of ZCSP with SPIN