A Combined Approach to Validate the Design of Embedded Network Devices