Hierarchical Simulation of Layered Protocol Architectures Using Formal Specifications. - Adrian E. Conway; Dragomir D. Dimitrijevic; R. Hwang (Data Communication Networks and their Performance, 1993)