Reliability evaluation of multi-state systems subject to imperfect coverage using OBDD | Publicación