Charles W. Rose Marcus Buchnen Yatin Trivedi Integrating stochastic performance analysis with system design tools. 482-488 1985 conf/dac/1985 DAC https://doi.org/10.1145/317825.317932 db/conf/dac/dac1985.html#RoseBT85