High-Level System Modeling