This module provides functionality for state machine interaction such as entry points and transitions