Entry state:
Critical state:
Exit State: