S Tschirner, X. D. Liang and Y. Wang, “Model-Based Validation of QoS Properties of Biomedical Sensor Networks,” Proceedings of the 8th ACM International Conference on Embedded Software, Atlanta, 19-24 October 2008, pp. 69-78.

has been cited by the following article:

• TITLE: Ambient Intelligence: Awareness Context Application in Industrial Storage

  AUTHORS: Ahmed Zouinkhi, Eddy Bajic, Eric Rondeau, Mohamed Ben Gayed, Mohamed Naceur Abdelkrim

  KEYWORDS: Ambient Intelligence, Intelligent Product, Cooperation, Security, WSN, Petri Nets, Castalia

  JOURNAL NAME: Wireless Sensor Network, Vol.3 No.4, March 31, 2011

  ABSTRACT: WSNs are designed to efficiently collect data and monitor environments, among other applications. This article describes the concept and realization of an Active Security System for security management of warehousing of chemical substances using WSNs. We present an approach to modeling and simulating cooperation between intelligent products that are equipped with a platform of sensor networks and ambient communication capabilities to increase their security, in a context of ambient intelligence of a deposit for chemical substances. Behavior evolution of every intelligent product is modeled by hierarchical Petri Nets. The simulation of the model is implemented in the Castalia-OMNET++ Tools language.