D. Good
-
Explanation-Based Scenario Generation for Reactive System Models
Automated Software Engineering