Stochastic Contracts for Runtime Checking of Component-based Real-time Systems | Publicación