High Level Data Structures in Verification and Behavioral Models