HLPM - a high level protocol monitoring tool for education | IEEE Conference Publication | IEEE Xplore