Title	Redundant Communication Avoidance for Event-Driven Wireless Sensor Network
Author	Hung-Cuong Le, Herv? Guyennet, Noureddine Zerhouni
Citation	Vol. 7  No. 3  pp. 193-200
Keywords	energy efficiency, medium access control, over-hearing, wireless sensor networks

Title	A Formal Verification Case Study for IEEE-P.896 Bus Arbiter by using A Model Checking Tool
Author	Katsumi Wasaki
Citation	Vol. 7  No. 3  pp. 184-192
Keywords	Formal Verification, Model Checking, Temporal Logic, Bus Arbiter, Hardware Description Languages

Title	A Framework for Predicting Security and Dependability Measures in Real-time
Author	Karin Sallhammar, Bjarne E. Helvik, Svein J. Knapskog
Citation	Vol. 7  No. 3  pp. 169-183
Keywords	Stochastic modeling, integrating security and dependability, security measures, real-time prediction, hidden Markov models

Title	Open-Source Applications of TCPA Hardware
Author	Karim Faez, Ashkan Hassani Karimabad
Citation	Vol. 7  No. 3  pp. 161-168
Keywords