Arrays and contracts for the specification and analysis of regular systems | IEEE Conference Publication | IEEE Xplore