Previous chapters have brought us to the point where, given a system design, we can look at it every which way, analyze and specify its performance, and communicate its structure and behavior. This ...