+ Event model behaviour specifications