Structural analysis of protocol specifications and generation of maximal fault coverage conformance test sequences | IEEE Journals & Magazine | IEEE Xplore