Verification of Replication Architectures in AADL.

Dionisio de Niz, Peter H. Feiler

Browse the full ICECCS paper archive.