Modelling imperfect inspection and maintenance in defence aviation through bayesian analysis of the KIJIMA type I general renewal process (GRP) | IEEE Conference Publication | IEEE Xplore