On proposing a Markup Language for Statecharts to be used in Performance Evaluation