Chapter 7: Rely/Guarantee Reasoning and A/G Contracts: 7.2 Components for shared variable concurrency. - Benveniste, A.; Caillaud, B.; Nickovic, D.; Passerone, R.; Raclet, J.-B.; Reinkemeier, Ph.; Sangiovanni-Vincentelli, A.; Damm, W.; Henzinger, T.; Larsen, K. G. (Foundations & Trends in Electronic Design Automation, 2018)