Siminiceanu, R.; Ahmed, I.; Catano, N. Automated Verification of Specifications With Typestates and Access Permissions. eceasst 2012, 53.