papers: add SEFM 2012 preprint version