Some computational aspects of statecharts formal modeling of reactive systems