On the Specification of Partitionable Group Membership | IEEE Conference Publication | IEEE Xplore