Qingguo Xu, Huaikou Miao. Formal Verification Framework for Safety of Real-Time System based on Timed Automata Model in PVS. In Peter Kokol, editor, Proceedings of the IASTED International Conference on Software Engineering, February 14-16, 2006, Innsbruck, Austria. pages 107-112, IASTED/ACTA Press, 2006.
Abstract is missing.