R. Siminiceanu, I. Ahmed, and N. Catano, “Automated Verification of Specifications with Typestates and Access Permissions”, ECEASST, vol. 53, Dec. 2012.