University of Buenos Aires yields to the consortium the strong expertise of the software engineering group, which spans from model-based techniques for reasoning about system requirements and design, to scenario-based