Dynamic modeling of maintenance strategies