Specification and verification of spatial data types with B-Toolkit | IEEE Conference Publication | IEEE Xplore