Multiagent Transition Systems for Composing Fault-Resilient Protocol Stacks