An algorithmic procedure for checking safety properties of protocols | IEEE Journals & Magazine | IEEE Xplore