MoE Engineering Research Center for Software/Hardware Co-design Technology and Application;
East China Normal University;
Shanghai 200062;
China;
University Nice Sophia Antipolis;
I3S;
UMR 7271 CNRS;
INRIA;
06900 Sophia Antipolis;
France;
spatio-temporal; consistency; real-time; systems; spatio-temporal; systems; high-level; modelling; language; clock; constraint; specification; model; checking; verification; framework;