WiSPY: A Tool for Visual Specification and Verification of Spatial Integrity Constraints