M. Kamel and S. Leue, “VIP: A visual editor and compiler for v-Promela. Tools and Algorithms for the Construction and Analysis of Systems,” Springer Berlin, Heidelberg, doi: 10.1007/3-540-46419-0, pp. 471–486, January 2000.

has been cited by the following article:

• TITLE: Model of Real Time Architecture for Data Placement in Wireless Sensor Networks

  AUTHORS: Sanjeev GUPTA, Mayank DAVE

  KEYWORDS: Modeling, SPIN, Promela, Centralized Clustering, Base Station, Sink, Cellular, Formal

  JOURNAL NAME: Wireless Sensor Network, Vol.2 No.1, January 13, 2010

  ABSTRACT: Wireless sensor network (WSN) technology has promised fine grain monitoring in time and space as well as at a lower cost than is currently possible. These sensor networks are required to provide a robust service in hostile environments. Therefore the issue of real-time and reliable data delivery is extremely important for taking effective decisions in WSN. In this paper the architecture for reliable and real time approach by using sensor clusters has been proposed for storage management. Instead of storing information in an individual cluster head as suggested in some approaches, storing of information of all clusters, inside the cell is recommended within the corresponding base station. For data dissemination and action we have used Action and Relay Stations (ARS). We have developed programming model for formal specification and verification of our architecture.