A behaviour module for implementing a state machine