A verification framework for spatio-temporal consistency language with CCSL as a specification language