STEPS: a software tool-set for automated protocol synthesis | IEEE Conference Publication | IEEE Xplore