statecharts characteristics 3743423