papers: add DOI for SEFM 2012 paper