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