A. Banerjee, S. Kandula, T. Mukherjee, and S. Gupta, BAND-AiDe: A tool for cyber-physical oriented analysis and design of body area networks and devices,[ ACM Trans. Embedded Comput. Syst., Special Issue on Wireless Health Systems, 2010.