Efficient Analysis of Reliability Architectures via Predicate Abstraction