Added use cases
Regenerated spec
Merge pull request #16 from marcoscaceres/use_case_and_reqs

Use case and reqs (closes #3). Merging to continue working towards publication.