Benveniste A, Nickovic D, Caillaud B, et al. Contracts for system design. Foundations and Trends in Electronic Design Automation. 2018;12(2-3):124-400. doi:10.1561/1000000053
LibreCat: https://research-explorer.ista.ac.at/record/5677
DOI: 10.1561/1000000053