Modeling complex computer and communication systems : a domain-oriented design framework - Tanir, Oryal (McGraw-Hill series on computer communications, 1997)