Christoph Schulze: Model-Based Testing of Off-Nominal Behaviors. University of Maryland, College Park, MD, USA 2017