Location-Based Software Modeling and Analysis: Tropos-Based Approach