Applying Tropos Methodology to a real case study: Complexity and Criticality analysis