H-DBUG: A High-level Debugging Framework for Protocol Verification using Assertions | IEEE Conference Publication | IEEE Xplore