One of the WalkerRoyce top 10 SoftwareManagementPrinciples... "Capture design artifacts in rigorous, model-based notation. An engineering notation for design enables complexity control, objective assessment, and automated analyses."