Kroening. Chaining Test Cases for Reactive System Testing (extended Version). 6 Nov. 2013.