Software engineering : design, reliability, and management - Shooman, Martin L.