On Debugging the Performance of Configurable Software Systems: Developer Needs and Tailored Tool Support - Velez, Miguel (arXiv.org)