An availability model for the SNS linac RF system | IEEE Conference Publication | IEEE Xplore