Statecharts library