Text this: Identifying state space reduction techniques from behavioural design patterns