On Modeling and Verifying of Application Protocols of TTCAN in Flight-Control System with UPPAAL | IEEE Conference Publication | IEEE Xplore