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