Use of Formal Methods at Amazon Web Services (2014) [pdf]lamport.azurewebsites.net2 pointspanic7 years ago