2 works on record
Languages, Design Methods, and Tools for Electronic System Design
Wireless Sensor Network Architectures