Zalila, Bechir: Architectural Modeling for TR2E Systems