Effective Behaviour Specification Steps