Kishor S. Trivedi Jogesh K. Muppala Steven P. Woolet Boudewijn R. Haverkort Composite Performance and Dependability Analysis. 197-215 1992 14 Perform. Eval. 3-4 db/journals/pe/pe14.html#TrivediMWH92