Chaining Test Cases for Reactive System Testing - Schrammel, P; Melham, T; Kroening, D (Springer, 2013)