Specifying and Modeling Railway Cyber Physical Systems by the Extension of AADL | IEEE Conference Publication | IEEE Xplore