NobleBlocks
    Computing performability measures in Markov chains by means of matrix functions | NobleBlocks