High-Level Product Specification Part 1