[45] W. Miranker. Numerical Methods for Stiff Equa

[56]R.SahnerandK.Trivedi.Asoftwaretoolforlearningaboutstochasticmodels.IEEETransactionsonEducation,36(1):56{61,Feb.1993.[57]W.SandersandJ.Meyer.Reducedbasemodelconstructionmethodsforstochasticactivitynetworks.IEEESelectedAreasofCommunications,pp.25{36,Jan.1991.[58]L.Schmickler.MEDA{mixedErlangdistributionsasphase-typerepresentationofempiricalfunctions.StochasticModels,8(1):131{156,Aug.1992.[59]M.L.Shooman.ProbabilisticReliability:AnEngineeringApproach.McGraw-Hill,NewYork,1968.[60]C.Singh,R.Billinton,andS.Lee.Themethodofstagesfornon-Markovianmodels.IEEETransactionsonReliability,R-26(1):135{137,June1977.[61]L.A.TomekandK.S.Trivedi.Fixedpointiterationinavailabilitymodeling.InM.D.CinandW.Hohl,editors,Proc.ofthe5thInternationalGI/ITG/GMAConferenceonFault-TolerantComputingSystems,pp.229{240,Berlin,Sept.1991.Springer-Verlag.[62]K.Trivedi.ProbabilityandStatisticswithReliability,Queuing,andComputerScienceApplications.Prentice-Hall,Englewood-Clis,NJ,1982.[63]K.Trivedi,J.Muppala,S.Woolet,andB.Haverkort.Compositeperformanceanddependabilityanal-ysis.PerformanceEvaluation,14:197{215,1992.26[42]M.MalhotraandK.S.Trivedi.Amethodologyforformalexpressionofhierarchyinmodelspecicationandsolution.InProceedingsofFifthIntl.WorkshoponPetriNetsandPerformanceModels,1993.[43]M.MalhotraandK.S.Trivedi.Reliabilityanalysisofredundantarraysofinexpensivedisks.JournalofParallelandDistributedComputing,17:146{151,Jan.1993.[44]J.Meyer.Onevaluatingtheperformabilityofdegradablecomputersystems.IEEETransactionsonComputers,C-29:720{731,Aug.1980.[45]W.Miranker.NumericalMethodsforStiEquationsandSingularPerturbationProblems.D.Reidel,Dordrecht,Holland,1981.[46]D.Mitra,\StochasticTheoryofFluidModelsofMultipleFailure-SusceptibleProducersandConsumersCoupledbyaBuer,AdvancesinAppliedProbability,Vol.20,pp.646-676,1988.[47]I.Mitrani.Fixed-pointapproximationsfordistributedsystems.InG.Iazeolla,P.J.Courtois,andA.Hordijk,editors,MathematicalComputerPerformanceandReliability,pp.245{258.North-Holland,1984.[48]M.Molloy.PerformanceanalysisusingstochasticPetrinets.IEEETransactionsonComputers,C-31(9):913{917,Sept.1982.[49]R.R.Muntz,E.deSouzaeSilva,andA.Goyal.Boundingavailabilityofrepairablecomputersystems.IEEETransactionsonComputers,C-38(12):1714{1723,Dec.1989.[50]J.MuppalaandK.Trivedi.NumericaltransientanalysisofniteMarkovianqueueingsystems.InU.BhatandI.Basawa,editors,QueueingandRelatedModels,pp.262{284.OxfordUniversityPress,1992.[51]J.Musa,A.Iannino,andK.Okumoto,SoftwareReliability;Measurement,Prediction,Application,McGraw-Hill,1987.[52]M.Neuts.Matrix-GeometricSolutionsinStochasticModels.JohnsHopkinsUniversityPress,Baltimore,MD,1981.[53]V.Nicola.LumpinginMarkovrewardprocesses.InW.Stewart,editor,NumericalSolutionofMarkovChains,pp.663{666.MarcelDekkerInc,NewYork,1991.[54]A.ReibmanandK.Trivedi.NumericaltransientanalysisofMarkovmodels.ComputersandOperationsResearch,15(1):19{36,1988.[55]R.SahnerandK.Trivedi.Performanceandreliabilityanalysisusingdirectedacyclicgraphs.IEEETransactionsonSoftwareEngineering,14(10):1105{1114,Oct.1987.25[27]M.JohnsonandM.Tae.Matchingmomentstophasedistributions:mixturesofErlangdistributionofcommonorder.StochasticModels,5:711{743,1989.[28]M.JohnsonandM.Tae.Matchingmomentstophasedistributions:densityfunctionshapes.StochasticModels,6:283{306,1990.[29]H.KantzandK.Trivedi.ReliabilitymodelingofMARSsystem:Acasestudyintheuseofdierenttoolsandtechniques.InInternationalWorkshoponPetriNetsandPerformanceModels,Melbourne,Australia,1991.[30]J.Kemeny,J.Snell,andA.Knapp.DenumerableMarkovChains.Springer-Verlag,1976.[31]W.Kleinoder.Evaluationoftaskstructuresforhierarchicalmultiprocessor.InD.Potier,editor,ModelingTechniquesandToolsforPerformanceAnalysis.North-Holland,1985.[32]V.Kulkarni,V.Nicola,R.Smith,andK.Trivedi.Numericalevaluationofperformabilitymeasuresandjobcompletiontimeinrepairablefault-tolerantsystems.InProc.16thIntl.Symp.onFaultTolerantComputing,Vienna,Austria,July1986.IEEE.[33]K.S.TrivediandV.G.Kulkarni,\FluidStochasticPetriNets,Proc.14thInternationalConferenceonApplicationsandTheoryofPetriNets,Chicago,June1993.[34]J.Lambert.NumericalMethodsforOrdinaryDierentialSystems.JohnWileyandSons,1991.[35]S.Lavenberg.ComputerPerformanceModelingHandbook.AcademicPress,1983.[36]E.D.Lazowska,J.Zahorjan,G.S.Graham,andK.C.Sevcik.QuantitativeSystemPerformance.Prentice-Hall,EnglewoodClis,NJ,USA,1984.[37]M.Malhotra.AcomputationallyecienttechniquefortransientanalysisofrepairableMarkoviansystems.ToappearinPerformanceEvaluationsubjecttorevision,1993.[38]M.Malhotra,J.K.Muppala,andK.S.Trivedi.Stiness-tolerantmethodsfortransientanalysisofstiMarkovchains.TechnicalReportDUKE-CCSR-92-003,CenterforComputerSystemsResearch,DukeUniversity,1992.[39]M.MalhotraandA.Reibman.Selectingandimplementingphaseapproximationsforsemi-Markovmodels.ToappearinStochasticModels,1993.[40]M.MalhotraandK.Trivedi.Higher-ordermethodsfortransientanalysisofstiMarkovchains.InThirdinternationalconferenceonPerformanceofDistributedSystemsandIntegratedCommunicationNetworks,Kyoto,Japan,1991.[41]M.Malhotr