Susanne Graf, Roberto Passerone, Sophie Quinton. Contract-Based Reasoning for Component Systems with Rich Interactions. In Alberto L. Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel, editors, Embedded Systems Development, From Functional Models to Implementations. pages 139-154, Springer, 2014. [doi]
Abstract is missing.