Kadri S, Aouag S, HEDJAZI D. Multi-level approach for controlling architecture quality with Alloy. 2019 International Conference on Theoretical and Applicative Aspects of Computer Science (ICTAACS). 2019;1 :1-8.