Testing Stateful and Concurrent Systems Using test.check - Eric Normand