A hands-on tutorial to try out The YAKINDU Statechart Tools