Dino Distefano, Matthew J. Parkinson: jStar: towards practical verification for java. OOPSLA 2008: 213-226