1. Benzmuller, C., Paleo, B.W.: Interacting with modal logics in the coq proof assistant. In: International Computer Science Symposium in Russia, pp. 398–411. Springer (2015)
2. Buttner, F., Egea, M., Cabot, J.: On verifying ATL transformations using ‘o-the-shelf’ SMT solvers. In: MoDELS, vol. 12, pp. 432–448. Springer (2012)
3. Kleppe, A., Warmer, J., Bas, W.: MDA Explained: The Model Driven Architecture: Practice and Promise. Addison-Wesley Professional, Boston (2003)
4. Hamdane, M.E., Berramla, K., Chaoui, A.: Using MDA with model checking to ensure the development of consistent AADL models. In: The First International Conference on Embedded and Distributed Systems (EDiS 2017), Algeria, pp. 135–140 (2017)
5. Rahim, L. A., Whittle, J.: A survey of approaches for verifying model transformations. Softw. Syst. Model. 1003–1028 (2015)