Classes to control the leave-transition. Needs to be defined for the leave-transition to be executed.