Verification of Replication Architectures in AADL | IEEE Conference Publication | IEEE Xplore