Speed up BDD for safety verification in agile development: a partially replicated controlled experiment. - Yang Wang 049; Daniel Ryan Degutis; Stefan Wagner 001 (XP Companion, 2018)