Verfügbarkeitsanalyse verfahrenstechnischer Anlagen durch stochastische Zustandsmodellierung unterschiedlicher Instandhaltungsstrategien.