YAKINDU Statechart Tools examples