High-Level System Modeling Specification and Design Methodologies door Ronald Waxman