Ensuring determinism in blockchain software with GoLiSA: an industrial experience report. - Luca Olivieri; Fabio Tagliaferro; Vincenzo Arceri; Marco Ruaro; Luca Negrini 001; Agostino Cortesi; Pietro Ferrara 001; Fausto Spoto; Enrico Talin (SOAP@PLDI, 2022)