Modeling Predicate Abstraction of Timed Automata in PVS. - Xia Yin; Qingguo Xu; Kunliang Han (iThings/CPSCom, 2011)