Software dependability evaluation based on Markov usage models
scientific article; zbMATH DE number 1835048