Netstub: a framework for verification of distributed java applications. - Elliot Barlas; Tevfik Bultan (ASE, 2007)