Vertical Composition and Sound Payload Abstraction for Stateful Protocols | IEEE Conference Publication | IEEE Xplore