PHYLAX: Snapshot-based profiling of real-time embedded devices via JTAG interface | IEEE Conference Publication | IEEE Xplore