Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design Under Probabilistic Requirements.