... availability imprecise Markov chain safe design technique of contraction multi-state system Availability A(t) is defined as the ability of an element to perform its required function under given conditions at time t , under the assumption that the necessary external resources are provided [ 1...