KPAT: A kernel and protocol analysis tool for embedded networking devices | IEEE Conference Publication | IEEE Xplore