WiSPY: A Tool for Visual Specification and Verification of Spatial Integrity Constraints. - Vincenzo Del Fatto; Vincenzo Deufemia; Luca Paolino; Sara Tumiati (J. Vis. Lang. Sentient Syst., 2015)