Title: A simulation model for dynamic system availability analysis