Interlocking Train Control Integrated System Modeling Design Based on AADL. (January 2020)