Model Checking Coordination of CPS Using Timed Automata | IEEE Conference Publication | IEEE Xplore