Efficient lumpability check in partially symmetric systems | IEEE Conference Publication | IEEE Xplore