An airworthiness SHELL model for aircraft maintenance | IEEE Conference Publication | IEEE Xplore