Safely Preventing Unbounded Delays During Bus Transactions in FPGA-based SoC | IEEE Conference Publication | IEEE Xplore