Elmsvuur: A Multi-tier Version of Elm and its Time-Traveling Debugger. - Jeff Horemans; Bob Reynders; Dominique Devriese; Frank Piessens (TFP, 2017)