A Probabilistic Calculus of Cyber-Physical Systems