research: publishing details for SEFM 2012 paper