Sheng, Jingyu, Prescott, Darren, "A hierarchical coloured Petri net model of fleet maintenance with cannibalisation", Reliability Engineering and System Safety (Deleted), 2017