@inproceedings{inproceedingscc1c6061,
title   = {On specifying complex systems through stochastic statecharts for performance analysis},
author = {Francês, Carlos Renato Lisboa and Viajykumar, Nandamudi and Santana, Marcos José and Carvalho, Solon Venâncio de and Santana, Regina Helena Carlucci},
year = {2005},
booktitle   = {Simpósio Brasileiro de Pesquisa Operacional}
}