?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aulast=Chong&rft.aufirst=N&rft.au=Chong%2C+N&rft.issue=4&rft.title=Software%3A+Practice+and+Experience&rft.pages=772-797&rft.atitle=Code-level+model+checking+in+the+software+development+workflow+at+Amazon+Web+Services&rft.volume=51&rft.date=April+2021&rft.genre=article