High-Level Design Specification