An Inspection-Maintenance Model for Systems With Multiple Competing Processes | Synapse