Siminiceanu, R., Ahmed, I. and Catano, N. (2012) “Automated Verification of Specifications with Typestates and Access Permissions”, Electronic Communications of the EASST, 53. doi: 10.14279/tuj.eceasst.53.790.