Session-based fault-tolerant design patterns | IEEE Conference Publication | IEEE Xplore