Gerard Holzmann, Nimble Research