How Amazon Web Services Uses Formal Methods. - NEWCOMBE, CHRIS; RATH, TIM; FAN ZHANG; MUNTEANU, BOGDAN; BROOKER, MARC; DEARDEUFF, MICHAEL (Communications of the ACM, 2015)