Xiaoli Gong, Jie Ma, Qingcheng Li, Jin Zhang. Automatic Model Building and Verification of Embedded Software with UPPAAL. In IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2011, Changsha, China, 16-18 November, 2011. pages 1118-1124, IEEE, 2011. [doi]
Abstract is missing.