Removed non-functional requirements which cannot be validated. Fixed typos.