Supporting Requirements Analysis in Tropos: a Planning-Based Approach