A BDOTI Logical Framework of Airborne Command Control System. - Jinxing Liu; Youlong Yang; Mingan Tong (ISDA (2), 2006)