A Catalogue of Scenario Patterns for Validating and Verifying Model Behavior | IEEE Conference Publication | IEEE Xplore