K. Mani Chandy, Jayadev Misra, R. Berry, Doug Neuse. The use of performance models in systematic design. In American Federation of Information Processing Societies: 1982 National Computer Conference, 7-10 June, 1982, Houston, Texas, USA. Volume 51 of AFIPS Conference Proceedings, pages 251-256, AFIPS Press, 1982. [doi]
Abstract is missing.