A maintenance model for the Supply-Buffer-Demand production system | IEEE Conference Publication | IEEE Xplore