A Physical-Aware Abstraction Flow for Efficient Design-Space Exploration of a Wireless Body Area Network Application | IEEE Conference Publication | IEEE Xplore