A blocking-based approach to protocol validation | IEEE Conference Publication | IEEE Xplore