Identifying state space reduction techniques from behavioural design patterns Conference Paper