Pierluigi Nuzzo, Jiwei Li, Alberto L. Sangiovanni-Vincentelli, Yugeng Xi, Dewei Li: Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design. ACM Trans. Embed. Comput. Syst. 18(1): 2:1-2:26 (2019)