The design of an efficient real-time maintenance prioritization tool | IEEE Conference Publication | IEEE Xplore