@conference {Haqiq201742,
	title = {Using BECAMEDA method to specify and verify a smart home system},
	booktitle = {ACM International Conference Proceeding Series},
	volume = {Part F130526},
	year = {2017},
	note = {cited By 0},
	pages = {42-47},
	abstract = {Designing a correct model for smart systems requires an accurate specification and verification prior to development. This paper proposes the use of BECAMEDA (Behavioral SpEcification and VerifiCAtion of RMAS based on E-MDRA) method, which helps the designer predicting the system behaviour, and verifying the relevant behaviour of the system properties. BECAMEDA method is based on Multi-Agent concept and formal method, and it proposes an iterative process consisted of four phases: identification, definition, modelling and verification, to help understanding the system starting from goals identification that captures the system needs, and ending with a formal verification of the system properties. The proposed method is illustrated with an example of a Smart Home System1. {\textcopyright} 2017 Copyright is held by the owner/author(s).},
	doi = {10.1145/3128128.3128135},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85030309106\&doi=10.1145\%2f3128128.3128135\&partnerID=40\&md5=41be1e2c80793b0eb4a66d538b1df778},
	author = {Haqiq, A. and Bounabat, B.}
}
