Abdelkrim Amirat Mourad Oussalah Representation and Reasoning Models for C3 Architecture Description Language. 207-212 2008 ICEIS (3-2) conf/iceis/2008-3-2 db/conf/iceis/iceis2008-3-2.html#AmiratO08