armarx_documentation: Statecharts