Revision used for SEFM'20 submission artifact