@conference {Rhanoui2014,
	title = {A multilevel contract model for dependable Feature-Oriented components},
	booktitle = {2014 9th International Conference on Intelligent Systems: Theories and Applications, SITA 2014},
	year = {2014},
	note = {cited By 0},
	abstract = {Feature-Oriented System Development is a promising and recent approach for developing domain-specific component-based systems. To be adopted in a safety-critical environment it must handle dependability requirements and offer mechanisms to ensure the reliability level of the components and the system. For this purpose, the contract-based approach is a lightweight formal method for designing and specifying systems{\textquoteright} requirements, it can be introduced in an early stage during the design phase. In this paper, we present a multilevel contract model and a domain-specific modeling language that aims to address reliability and quality issues for component-based systems by expressing and specifying a set of its properties and constraints. {\textcopyright} 2014 IEEE.},
	doi = {10.1109/SITA.2014.6847278},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84904596650\&doi=10.1109\%2fSITA.2014.6847278\&partnerID=40\&md5=6f574de296778d6b1ed4ff898fc66eb1},
	author = {Rhanoui, M. and El Asri, B.}
}
