An Implementation of an Automated Protocol Synthesizer (APS) and Its Application to the X.21 Protocol | IEEE Journals & Magazine | IEEE Xplore