Rare failure-state in a Markov chain model for software reliability | IEEE Conference Publication | IEEE Xplore