Text this: Automated verification of specifications with typestates and access permissions / Radu I. Siminiceanu, Néstor Cataño.