Availability analysis of imperfect repairable system subject to inspection | Synapse