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