Specification of railway cyber physical systems using AADL