RT DF A1 Wilcox, James R. T1 Compositional and Automated Verification of Distributed Systems