Dominik Holling, Alvin Stanescu, Kristian Beckers, Alexander Pretschner, Matthias Gemmar: Failure Models for Testing Continuous Controllers. ISSRE 2016: 365-375