Modeling And Simulation For Plant Performability Assessment With Application To Maintenance In The Process Industry