Combined Formal Modeling and Model Transformation Based on AADL and Object-Z. - Zhengling Guo; Zining Cao (J. Softw., 2023)