How Amazon web services uses formal methods. - Chris Newcombe; Tim Rath; Fan Zhang; Bogdan Munteanu; Marc Brooker; Michael Deardeuff (Commun. ACM, 2015)