Analyze Functional Specifications