@proceedings {63387,
	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},
	month = {2019},
	pages = {1-8},
	publisher = {IEEE},
	isbn = {1-72816-633-0},
	author = {Salim Kadri and Sofiane Aouag and Djalal HEDJAZI}
}
