@InProceedings{nandi:2015:stochastic_contracts, Title = {Stochastic Contracts for Runtime Checking of Component-based Real-time Systems}, Author = {Nandi, Chandrakana and Monot, Aurelien and Oriol, Manuel}, Booktitle = {Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2015). To Appear}, Year = {2015}, Publisher = {ACM}, }