State space pruning for reliability evaluation using binary particle swarm optimization | IEEE Conference Publication | IEEE Xplore