Discrete Intra-agent Dynamics, Statecharts