A Framework for Modeling and Analysis of Ambient Agent Systems: Application to an Emergency Case