Wireless Sensor Network Architectures: Modeling, Verification and Mapping of Applications (Hardcover, 2017)