@proceedings {6540,
	title = {Multi-level approach for controlling architecture quality with Alloy},
	journal = {2019 International Conference on Theoretical and Applicative Aspects of Computer Science (ICTAACS)},
	volume = {1},
	year = {2019},
	pages = {1-8},
	publisher = {IEEE},
	isbn = {1728166330},
	author = {Kadri, Salim and Aouag, Sofiane and Djalal Hedjazi}
}
