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
Hoffmann, Andreas; Meyr, Heinrich; Leupers, Rainer Architecture exploration for embedded processors with LISA. (English) Zbl 1011.68011 Boston, MA: Kluwer Academic Publishers. viii, 230 p. (2002). Reviewer: Nikolay Yakovlevich Tikhonenko (Odessa) MSC: 68M99 68N15 68U99 68-01 PDF BibTeX XML Cite \textit{A. Hoffmann} et al., Architecture exploration for embedded processors with LISA. Boston, MA: Kluwer Academic Publishers (2002; Zbl 1011.68011)