A Validation Technique for Tightly Coupled Protocols | IEEE Journals & Magazine | IEEE Xplore