A toolkit for performability evaluation based on stochastic UML state machines. - Jan Trowitzsch; D. Jerzynek; Armin Zimmermann (VALUETOOLS, 2007)