Application of Formal Safety Assessment on planning VTS. - Yao-Tian Fan; Jie Wang (SMC, 2008)