Benveniste, A., Nickovic, D., Caillaud, B., Passerone, R., Raclet, J. B., Reinkemeier, P.,https://doi.org/10.1561/1000000053__Larsen, K. G. (2018). Contracts for system design. Foundations and Trends in Electronic Design Automation. Now Publishers.https://doi.org/10.1561/1000000053 
LibreCat: https://research-explorer.ista.ac.at/record/5677
DOI: 10.1561/1000000053