Joint-State Modeling for Open Queuing Networks with Breakdowns, Repairs and Finite Buffers | IEEE Conference Publication | IEEE Xplore