Update SpecificRequirements.tex

added inputs/outputs for service contracts