On Modeling and Verifying of Application Protocols of TTCAN in Flight-Control System with UPPAAL. - Xiao Wu; Heng Ling; Yunwei Dong (ICESS, 2009)