Modeling and verification of CPS based on uncertain hybrid timed automaton | IEEE Conference Publication | IEEE Xplore