Modeling Railway Cyber Physical Systems Based on AADL