Order Reprints
Journal: Sensors, 2011
Volume: 11
Page(s): 1059-1077
Article:
Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks
Martínez, D.; González, A.; Blanes, F.; Aquino, R.; Simo, J.; Crespo, A.
http://www.mdpi.com/1424-8220/11/1/1059
