Hybrid Modeling and Model Transformation of AADL for Verifying the Properties of CPS Space-Time Compositions. - Xiaoying Chen; Yi Zhu 013; Yu Zhao; Jinyong Wang; Anarbekov Altynbek (IEEE Access, 2021)