Explanation-Based Scenario Generation for Reactive System Models.

Robert J. Hall Explanation-Based Scenario Generation for Reactive System Models. 157-177 2000 7 Autom. Softw. Eng. 2 db/journals/ase/ase7.html#Hall00