Chong, N; Cook, B; Eidelman, J; Kallas, K; Khazem, K; Monteiro, FR; Schwartz-Narbonne, D; ... Tuttle, MR; + view all Chong, N; Cook, B; Eidelman, J; Kallas, K; Khazem, K; Monteiro, FR; Schwartz-Narbonne, D; Tasiran, S; Tautschnig, M; Tuttle, MR; - view fewer (2021) Code-level model checking in the software development workflow at Amazon Web Services. Software: Practice and Experience , 51 (4) pp. 772-797. 10.1002/spe.2949.