High-Level Product Specification Part 2