Efficient Change Verification of Member Cardinality in Cluster-Based VCPS | IEEE Conference Publication | IEEE Xplore