Nandamudi Lankalapalli Vijaykumar, Solon Venâncio de Carvalho, Valéria Maria Barros de Andrade, Vakulathil Abdurahiman. Introducing probabilities in Statecharts to specify reactive systems for performance analysis. Computers & OR, 33:2369-2386, 2006. [doi]
Abstract is missing.