An Availability-Constrained Integrated Maintenance–Monitoring Model for a System With Failures Following an NHPP | IEEE Journals & Magazine | IEEE Xplore