Afonso Sales is post-doctoral researcher in Computer Science at Pontifical Catholic University of Rio Grande do Sul (PUCRS), Brazil. He is also currently a fellow researcher in Performance Evaluation Group and PaleoProspec project at the same university. Afonso got his Ph.D. degree (2009) in Computer Science from Grenoble Institute of Technology (Grenoble INP), France. He has wide knowledge about state space generation techniques using decision diagrams and numerical solution methods based on structured descriptions of Markovian models. Afonso also spent three years as Software Engineer at Hewlett-Packard Brazil R&D team. His research interests include stochastic modeling and simulation, continuous and discrete time modeling, structured Markovian formalisms such as Stochastic Automata Networks (SAN) and Stochastic Petri Nets (SPN), structured and Kronecker based approaches for Markov analysis, as well as performance evaluation of systems applied to several domains such as software engineering, performance testing, computer networks, and parallel and distributed computing.