Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets. - Jan Trowitzsch; Armin Zimmermann; Günter Hommel (IPDPS, 2005)

Using UML state machines and petri nets for the quantitative investigation of ETCS. - Jan Trowitzsch; Armin Zimmermann (VALUETOOLS, 2006)

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

Quantitative evaluation of UML state machines using stochastic Petri nets. - Jan Trowitzsch (2007)

Reliability Evaluation of Distributed Embedded Systems With UML State Charts and Rare Event Simulation. - Armin Zimmermann; Jan Trowitzsch (MBEES, 2009)