Added functional specs in PDF format