System-Level Modeling and Verification: a Comprehensive Design Methodology