Cimatti, Alessandro; Demasi, Ramiro; Tonetta, Stefano Tightening the contract refinements of a system architecture. (English) Zbl 1392.68241 Form. Methods Syst. Des. 52, No. 1, 88-116 (2018). MSC: 68Q60 68M07 68M14 68M20 PDF BibTeX XML Cite \textit{A. Cimatti} et al., Form. Methods Syst. Des. 52, No. 1, 88--116 (2018; Zbl 1392.68241) Full Text: DOI
Sangiovanni-Vincentelli, Alberto; Damm, Werner; Passerone, Roberto Taming Dr. Frankenstein: contract-based design for cyber-physical systems. (English) Zbl 1264.93152 Eur. J. Control 18, No. 3, 217-238 (2012). MSC: 93C70 93B51 93C95 PDF BibTeX XML Cite \textit{A. Sangiovanni-Vincentelli} et al., Eur. J. Control 18, No. 3, 217--238 (2012; Zbl 1264.93152) Full Text: DOI