Integrating stochastic performance analysis with system design tools. - Charles W. Rose; Marcus Buchnen; Yatin Trivedi (DAC, 1985)