J. Augusto, Ambient Intelligence: The Confluence of Ubiquitous/Pervasive Computing and Artificial Intelligence, Intelligent Computing Everywhere, pp.213-234, 2007.
DOI : 10.1007/978-1-84628-943-9_11

D. Preuveneers and P. Novais, A survey of software engineering best practices for the development of smart applications in ambient intelligence, JAISE, vol.4, issue.3, pp.149-162, 2012.

R. H. Bordini, L. Braubach, M. Dastani, A. Fallah-seghrouchni, J. J. Gmez-sanz et al., A survey of programming languages and platforms for multi-agent systems A multi-agent approach to controlling a smart environment, Designing Smart Homes, ser, pp.33-44, 2006.

K. E. Nygard, D. Xu, J. Pikalek, and M. Lundell, Multi-agent Designs for Ambient Systems, Proceedings of the First International Conference on Ambient Media and Systems, pp.1-10, 2008.
DOI : 10.4108/ICST.AMBISYS2008.2925

L. De-silva, A. Dekker, and J. Harland, Planning with time limits in bdi agent programming languages, Proceedings of CATS'07, pp.131-139, 2007.

A. Chaouche, A. Fallah-seghrouchni, J. Ilié, and D. E. Sa¨?dounisa¨?douni, A Higher-order Agent Model with Contextual Management for Ambient Systems, Transactions on Computational Collective Intelligence XVI, ser
URL : https://hal.archives-ouvertes.fr/hal-01070775

G. Chen and D. Kotz, A Survey of Context-Aware Mobile Computing Research, Dartmouth College, 2000.

K. Henricksen and J. Indulska, Developing context-aware pervasive computing applications: Models and approach, Pervasive and Mobile Computing, vol.2, issue.1, pp.37-64, 2006.
DOI : 10.1016/j.pmcj.2005.07.003

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.8031

D. E. Sa¨?dounisa¨?douni, Sémantique de maximalité : Application au raffinement d'actions en LOTOS, Ph.D. dissertation, LAAS- CNRS, 1996.

J. P. Courtiat and D. E. Sa¨?dounisa¨?douni, Relating Maximality-based Semantics to Action Refinement in Process Algebras, IFIP TC6/WG6.1, Int. Conf. on FORTE'94, pp.293-308, 1995.
DOI : 10.1007/978-0-387-34878-0_24

D. E. Sa¨?dounisa¨?douni, N. Belala, and M. Bouneb, Using maximality-based labelled transition system as a model for petri nets, pp.440-446, 2009.

D. E. Sa¨?dounisa¨?douni and N. Belala, Actions duration in timed models, Proceedings of ACIT'2006, 2006.

J. Courtiat, C. A. Santos, C. Lohr, and B. Outtaj, Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique, Computer Communications, vol.23, issue.12, pp.1104-1123, 2000.
DOI : 10.1016/S0140-3664(99)00240-6

M. Hoogendoorn, M. C. Klein, Z. A. Memon, and J. Treur, Formal specification and analysis of intelligent agents for model-based medicine usage management, Computers in Biology and Medicine, vol.43, issue.5, pp.444-457, 2013.
DOI : 10.1016/j.compbiomed.2013.01.021

A. Coronato and G. D. Pietro, Formal Design of Ambient Intelligence Applications, Computer, vol.43, issue.12, pp.60-68, 2010.
DOI : 10.1109/MC.2010.335

F. Corno and M. Sanaullah, Design Time Methodology for the Formal Verification of Intelligent Domotic Environments, 2011.
DOI : 10.1007/978-3-642-19937-0_2

T. M. Maarouk, D. E. Sa¨?dounisa¨?douni, and M. Khergag, Towards a calculus for distribu-ted, real-time and mobile systems, Journal of Software, vol.7, issue.3, pp.564-574, 2012.