dreach_tool: add HSCC'14 bibtex item