Siminiceanu, Radu, Ijaz Ahmed, and Nestor Catano. 2012. “Automated Verification of Specifications With Typestates and Access Permissions”. Electronic Communications of the EASST 53 (December). https://doi.org/10.14279/tuj.eceasst.53.790.