Requirement specification of group A