Byron Cook: Automated formal reasoning about AWS systems. FMCAD 2017: 7