The functional spec for our project is available here