Fault maintenance trees: Reliability centered maintenance via statistical model checking | IEEE Conference Publication | IEEE Xplore