Summary
Detailed report using formal description through UML for the use cases (stakeholders & actors, requirements, etc.).
More information & hyperlinks