restructured report somewhat. merged tools and implementation, shifted requirements and supporting tools to new chapter, and renamed background to related work.