Automated verification of specifications with typestates and access permissions / - Siminiceanu, Radu I. (National Aeronautics and Space Administration, Langley Research Center, 2011)