Update FunctionalRequirements.tex