A Step Towards a More Practical Protocol Conformance Checking Algorithm | IEEE Conference Publication | IEEE Xplore