Validation of Reactive Software from Scenario-Based Models Artigo de Conferência uri icon