Modeling and Real-Time Verification for CPS based on Time Automata | IEEE Conference Publication | IEEE Xplore