New State Diagrams for Probabilistic Maintenance Models | IEEE Journals & Magazine | IEEE Xplore