Finite State Machine behaviour for domain classes