On Proposing Statecharts to Specify Performance Models. - Vijaykumar, Nandamudi Lankalapalli; Carvalho, Solon Venancio de; Abdurahiman, Vakulathil (International Transactions in Operational Research, 2002)