Risk-based optimization model for system maintenance scheduling | IEEE Conference Publication | IEEE Xplore