Identifying state space reduction techniques from behavioural design patterns - Ab Rahim, Lukman; Whittle, Jon (ACM, 2011)