Oliver C. Ibe Archana Sathaye Richard C. Howe Kishor S. Trivedi Stochastic Petri Net Modeling of VAXcluster System Availability. 112-121 1989 conf/pnpm/1989 PNPM db/conf/pnpm/pnpm1989.html#IbeSHT89