Scenario-based verification in presence of variability using a synchronous approach