High-Level System Modeling: Specification and Design Methodologies by Waxman

System-Level Validation: High-Level Modeling and Directed Test Generation...

System-Level Validation: High-Level Modeling and Directed Test Generation: New

Waxman - High-Level System Modeling - New paperback or softback - X555z

Device-Level Modeling and Synthesis of High-Performance Pipeline Adcs

High-Level System Modeling: Specification and Design Methodologies by Waxman

Distribution System Modeling and Analysis by William H. Kersting: Used

Berg - High-Level System Modeling Specification Languages - New pap - X555z