Statechart serialization