研究者探索了自稳定系统的组合理论，以重试风暴为具体研究对象。该工作应用TLA+模型和rely-guarantee框架进行分析，借鉴了Kim、Arcak和Seshia于2017年发表的参数化假设-保证合约理论。