Introducing probabilities in Statecharts to specify reactive systems for performance analysis. - Nandamudi Lankalapalli Vijaykumar; Solon Venâncio de Carvalho; Valéria Maria Barros de Andrade; Vakulathil Abdurahiman (Comput. Oper. Res., 2006)