Structured Markov chains solver: tool extension. - Dario Bini; Beatrice Meini; S. Steffé; Benny Van Houdt (VALUETOOLS, 2009)

SMCSolver and Q-MAM: tools for matrix-analytic methods. - Dario Bini; Beatrice Meini; S. Steffé; Juan F. Pérez; Benny Van Houdt (SIGMETRICS Perform. Evaluation Rev., 2012)