Experience of responsiveness verification for connection establishment protocols | IEEE Conference Publication | IEEE Xplore